Lie algebra sl(7), type \(A^{1}_6\)
Semisimple complex Lie subalgebras
Up to linear equivalence, there are total 61 semisimple subalgebras (including the full subalgebra). The subalgebras are ordered by rank, Dynkin indices of simple constituents and dimensions of simple constituents.
The upper index indicates the Dynkin index, the lower index indicates the rank of the subalgebra. Generation comments.
Computation time in seconds: 2654.8.
158372415 total arithmetic operations performed = 109685708 additions and 48686707 multiplications.
The base field over which the subalgebras were realized is: \(\displaystyle \mathbb Q\)
Number of root subalgebras other than the Cartan and full subalgebra: 13
Number of sl(2)'s: 14
Subalgebra \(A^{1}_1\) ↪ \(A^{1}_6\)
1 out of 61
Subalgebra type: \(\displaystyle A^{1}_1\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Centralizer: \(\displaystyle A^{1}_4\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_1\)
Basis of Cartan of centralizer: 5 vectors:
(0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (1, 0, 0, 0, 0, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle 2A^{1}_1\) , \(\displaystyle A^{2}_1+A^{1}_1\) , \(\displaystyle A^{4}_1+A^{1}_1\) , \(\displaystyle A^{5}_1+A^{1}_1\) , \(\displaystyle A^{10}_1+A^{1}_1\) , \(\displaystyle A^{20}_1+A^{1}_1\) , \(\displaystyle 3A^{1}_1\) , \(\displaystyle 2A^{2}_1+A^{1}_1\) , \(\displaystyle A^{4}_1+2A^{1}_1\) , \(\displaystyle A^{1}_2+A^{1}_1\) , \(\displaystyle B^{1}_2+A^{1}_1\) , \(\displaystyle B^{2}_2+A^{1}_1\) , \(\displaystyle A^{1}_2+2A^{1}_1\) , \(\displaystyle A^{1}_3+A^{1}_1\) , \(\displaystyle A^{1}_4+A^{1}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_1\): (1, 1, 1, 1, 1, 1): 2
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-21}\)
Positive simple generators: \(\displaystyle g_{21}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{1}}\oplus 10V_{\omega_{1}}\oplus 25V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+2\psi_{4}+4\psi_{5}}\oplus V_{-2\psi_{3}+4\psi_{4}+2\psi_{5}}\oplus V_{-2\psi_{2}+2\psi_{3}+2\psi_{4}+2\psi_{5}}
\oplus V_{-2\psi_{1}+2\psi_{2}+2\psi_{4}+2\psi_{5}}\oplus V_{2\psi_{1}+2\psi_{4}}\oplus V_{\omega_{1}-2\psi_{1}+4\psi_{5}}
\oplus V_{\omega_{1}+2\psi_{1}-2\psi_{2}+2\psi_{5}}\oplus V_{\omega_{1}+2\psi_{2}-2\psi_{3}+2\psi_{5}}\oplus V_{\omega_{1}+2\psi_{3}-2\psi_{4}+2\psi_{5}}
\oplus V_{2\omega_{1}}\oplus V_{-2\psi_{1}-2\psi_{3}+2\psi_{4}+2\psi_{5}}\oplus V_{-2\psi_{1}-2\psi_{2}+2\psi_{3}+2\psi_{5}}
\oplus V_{-4\psi_{1}+2\psi_{2}+2\psi_{5}}\oplus V_{2\psi_{1}-2\psi_{2}-2\psi_{3}+2\psi_{4}}\oplus V_{2\psi_{2}-4\psi_{3}+2\psi_{4}}
\oplus V_{2\psi_{1}-4\psi_{2}+2\psi_{3}}\oplus 5V_{0}\oplus V_{-2\psi_{1}+4\psi_{2}-2\psi_{3}}\oplus V_{-2\psi_{2}+4\psi_{3}-2\psi_{4}}
\oplus V_{-2\psi_{1}+2\psi_{2}+2\psi_{3}-2\psi_{4}}\oplus V_{4\psi_{1}-2\psi_{2}-2\psi_{5}}\oplus V_{2\psi_{1}+2\psi_{2}-2\psi_{3}-2\psi_{5}}
\oplus V_{2\psi_{1}+2\psi_{3}-2\psi_{4}-2\psi_{5}}\oplus V_{\omega_{1}-2\psi_{3}+2\psi_{4}-2\psi_{5}}\oplus V_{\omega_{1}-2\psi_{2}+2\psi_{3}-2\psi_{5}}
\oplus V_{\omega_{1}-2\psi_{1}+2\psi_{2}-2\psi_{5}}\oplus V_{\omega_{1}+2\psi_{1}-4\psi_{5}}\oplus V_{-2\psi_{1}-2\psi_{4}}
\oplus V_{2\psi_{1}-2\psi_{2}-2\psi_{4}-2\psi_{5}}\oplus V_{2\psi_{2}-2\psi_{3}-2\psi_{4}-2\psi_{5}}\oplus V_{2\psi_{3}-4\psi_{4}-2\psi_{5}}
\oplus V_{\omega_{1}-2\psi_{4}-4\psi_{5}}\)
Made total 282 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{2}_1\) ↪ \(A^{1}_6\)
2 out of 61
Subalgebra type: \(\displaystyle A^{2}_1\) (click on type for detailed printout).
Centralizer: \(\displaystyle A^{1}_2+A^{2}_1\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{2}_1\)
Basis of Cartan of centralizer: 4 vectors:
(0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 1, 0, 0, -1, 0), (1, 0, 0, 0, 0, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{2}_1+A^{1}_1\) , \(\displaystyle 2A^{2}_1\) , \(\displaystyle A^{3}_1+A^{2}_1\) , \(\displaystyle A^{4}_1+A^{2}_1\) , \(\displaystyle A^{6}_1+A^{2}_1\) , \(\displaystyle 2A^{2}_1+A^{1}_1\) , \(\displaystyle A^{4}_1+2A^{2}_1\) , \(\displaystyle A^{1}_2+A^{2}_1\) , \(\displaystyle A^{1}_2+2A^{2}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{2}_1\): (1, 2, 2, 2, 2, 1): 4
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-17}+g_{-21}\)
Positive simple generators: \(\displaystyle g_{21}+g_{17}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}4\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle 4V_{2\omega_{1}}\oplus 12V_{\omega_{1}}\oplus 12V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+2\psi_{2}+2\psi_{3}+2\psi_{4}}\oplus V_{\omega_{1}+2\psi_{2}+4\psi_{3}-2\psi_{4}}\oplus V_{2\omega_{1}-2\psi_{3}+4\psi_{4}}
\oplus V_{-2\psi_{1}+4\psi_{2}+2\psi_{3}}\oplus V_{2\psi_{1}+2\psi_{2}}\oplus V_{\omega_{1}-2\psi_{1}+2\psi_{3}+2\psi_{4}}
\oplus V_{\omega_{1}+2\psi_{1}-2\psi_{2}+2\psi_{4}}\oplus V_{-2\psi_{3}+4\psi_{4}}\oplus 2V_{2\omega_{1}}\oplus V_{\omega_{1}-2\psi_{1}+2\psi_{2}-2\psi_{3}+2\psi_{4}}
\oplus V_{\omega_{1}+2\psi_{1}-4\psi_{3}+2\psi_{4}}\oplus V_{\omega_{1}-2\psi_{1}+4\psi_{3}-2\psi_{4}}\oplus V_{\omega_{1}+2\psi_{1}-2\psi_{2}+2\psi_{3}-2\psi_{4}}
\oplus V_{-4\psi_{1}+2\psi_{2}+2\psi_{3}}\oplus 4V_{0}\oplus V_{4\psi_{1}-2\psi_{2}-2\psi_{3}}\oplus V_{2\omega_{1}+2\psi_{3}-4\psi_{4}}
\oplus V_{\omega_{1}-2\psi_{1}+2\psi_{2}-2\psi_{4}}\oplus V_{\omega_{1}+2\psi_{1}-2\psi_{3}-2\psi_{4}}\oplus V_{2\psi_{3}-4\psi_{4}}
\oplus V_{\omega_{1}-2\psi_{2}-4\psi_{3}+2\psi_{4}}\oplus V_{-2\psi_{1}-2\psi_{2}}\oplus V_{2\psi_{1}-4\psi_{2}-2\psi_{3}}
\oplus V_{\omega_{1}-2\psi_{2}-2\psi_{3}-2\psi_{4}}\)
Made total 142876 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{3}_1\) ↪ \(A^{1}_6\)
3 out of 61
Subalgebra type: \(\displaystyle A^{3}_1\) (click on type for detailed printout).
Centralizer: \(\displaystyle A^{2}_2\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{3}_1\)
Basis of Cartan of centralizer: 3 vectors:
(0, 0, 1, -1, 0, 0), (0, 1, 0, 0, -1, 0), (1, 0, 0, 0, 0, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{3}_1+A^{2}_1\) , \(\displaystyle A^{8}_1+A^{3}_1\) , \(\displaystyle A^{2}_2+A^{3}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{3}_1\): (1, 2, 3, 3, 2, 1): 6
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-9}+g_{-17}+g_{-21}\)
Positive simple generators: \(\displaystyle g_{21}+g_{17}+g_{9}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2/3\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}6\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle 9V_{2\omega_{1}}\oplus 6V_{\omega_{1}}\oplus 9V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+4\psi_{1}+2\psi_{3}}\oplus V_{\omega_{1}+6\psi_{1}-2\psi_{2}}\oplus V_{\omega_{1}+4\psi_{1}+2\psi_{2}-2\psi_{3}}
\oplus V_{2\omega_{1}-2\psi_{2}+4\psi_{3}}\oplus V_{2\omega_{1}-2\psi_{1}+2\psi_{2}+2\psi_{3}}\oplus V_{-2\psi_{2}+4\psi_{3}}
\oplus V_{-2\psi_{1}+2\psi_{2}+2\psi_{3}}\oplus V_{2\omega_{1}+2\psi_{1}-4\psi_{2}+2\psi_{3}}\oplus 3V_{2\omega_{1}}\oplus V_{2\omega_{1}-2\psi_{1}+4\psi_{2}-2\psi_{3}}
\oplus V_{2\psi_{1}-4\psi_{2}+2\psi_{3}}\oplus 3V_{0}\oplus V_{-2\psi_{1}+4\psi_{2}-2\psi_{3}}\oplus V_{2\omega_{1}+2\psi_{1}-2\psi_{2}-2\psi_{3}}
\oplus V_{2\omega_{1}+2\psi_{2}-4\psi_{3}}\oplus V_{2\psi_{1}-2\psi_{2}-2\psi_{3}}\oplus V_{2\psi_{2}-4\psi_{3}}\oplus V_{\omega_{1}-4\psi_{1}-2\psi_{2}+2\psi_{3}}
\oplus V_{\omega_{1}-6\psi_{1}+2\psi_{2}}\oplus V_{\omega_{1}-4\psi_{1}-2\psi_{3}}\)
Made total 5873767 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{4}_1\) ↪ \(A^{1}_6\)
4 out of 61
Subalgebra type: \(\displaystyle A^{4}_1\) (click on type for detailed printout).
Centralizer: \(\displaystyle A^{1}_3\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_2\)
Basis of Cartan of centralizer: 4 vectors:
(0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 1, 0), (1, 0, 0, -1, 0, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{4}_1+A^{1}_1\) , \(\displaystyle A^{4}_1+A^{2}_1\) , \(\displaystyle 2A^{4}_1\) , \(\displaystyle A^{10}_1+A^{4}_1\) , \(\displaystyle A^{4}_1+2A^{1}_1\) , \(\displaystyle A^{4}_1+2A^{2}_1\) , \(\displaystyle A^{1}_2+A^{4}_1\) , \(\displaystyle B^{1}_2+A^{4}_1\) , \(\displaystyle A^{1}_3+A^{4}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{4}_1\): (2, 2, 2, 2, 2, 2): 8
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-11}+g_{-16}\)
Positive simple generators: \(\displaystyle 2g_{16}+2g_{11}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}8\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{4\omega_{1}}\oplus 9V_{2\omega_{1}}\oplus 16V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{2\omega_{1}+2\psi_{3}+4\psi_{4}}\oplus V_{2\omega_{1}+2\psi_{2}-2\psi_{3}+4\psi_{4}}\oplus V_{2\omega_{1}-2\psi_{1}+4\psi_{4}}
\oplus V_{-2\psi_{1}+2\psi_{2}+2\psi_{3}+2\psi_{4}}\oplus V_{2\omega_{1}+2\psi_{1}-2\psi_{2}+2\psi_{4}}\oplus V_{2\psi_{1}+2\psi_{3}}
\oplus V_{4\omega_{1}}\oplus V_{-2\psi_{1}+4\psi_{2}-2\psi_{3}+2\psi_{4}}\oplus V_{-2\psi_{2}+4\psi_{3}}\oplus V_{2\omega_{1}}\oplus V_{2\psi_{1}+2\psi_{2}-2\psi_{3}}
\oplus V_{-4\psi_{1}+2\psi_{2}+2\psi_{4}}\oplus 4V_{0}\oplus V_{2\omega_{1}-2\psi_{1}+2\psi_{2}-2\psi_{4}}\oplus V_{4\psi_{1}-2\psi_{2}-2\psi_{4}}
\oplus V_{2\omega_{1}+2\psi_{1}-4\psi_{4}}\oplus V_{-2\psi_{1}-2\psi_{2}+2\psi_{3}}\oplus V_{2\psi_{2}-4\psi_{3}}\oplus V_{2\psi_{1}-4\psi_{2}+2\psi_{3}-2\psi_{4}}
\oplus V_{2\omega_{1}-2\psi_{2}+2\psi_{3}-4\psi_{4}}\oplus V_{-2\psi_{1}-2\psi_{3}}\oplus V_{2\psi_{1}-2\psi_{2}-2\psi_{3}-2\psi_{4}}
\oplus V_{2\omega_{1}-2\psi_{3}-4\psi_{4}}\)
Made total 12638324 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{5}_1\) ↪ \(A^{1}_6\)
5 out of 61
Subalgebra type: \(\displaystyle A^{5}_1\) (click on type for detailed printout).
Centralizer: \(\displaystyle A^{1}_1\) + \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_4\)
Basis of Cartan of centralizer: 3 vectors:
(0, 0, 1, 0, 0, 0), (0, 1, 0, -1, -1, 0), (1, 0, 0, -1, 0, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{5}_1+A^{1}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{5}_1\): (2, 3, 3, 3, 3, 2): 10
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-11}+g_{-16}+g_{-17}\)
Positive simple generators: \(\displaystyle g_{17}+2g_{16}+2g_{11}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2/5\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}10\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{4\omega_{1}}\oplus 2V_{3\omega_{1}}\oplus 6V_{2\omega_{1}}\oplus 6V_{\omega_{1}}\oplus 5V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{2\omega_{1}+2\psi_{1}+2\psi_{2}+4\psi_{3}}\oplus V_{\omega_{1}+2\psi_{1}+4\psi_{2}}\oplus V_{4\psi_{1}+2\psi_{3}}
\oplus V_{3\omega_{1}-2\psi_{2}+4\psi_{3}}\oplus V_{2\omega_{1}-2\psi_{1}+2\psi_{2}+2\psi_{3}}\oplus V_{4\omega_{1}}\oplus V_{\omega_{1}-2\psi_{2}+4\psi_{3}}
\oplus 2V_{2\omega_{1}}\oplus V_{\omega_{1}+2\psi_{1}-4\psi_{2}+2\psi_{3}}\oplus V_{\omega_{1}-2\psi_{1}+4\psi_{2}-2\psi_{3}}
\oplus V_{3\omega_{1}+2\psi_{2}-4\psi_{3}}\oplus 3V_{0}\oplus V_{2\omega_{1}+2\psi_{1}-2\psi_{2}-2\psi_{3}}\oplus V_{\omega_{1}+2\psi_{2}-4\psi_{3}}
\oplus V_{\omega_{1}-2\psi_{1}-4\psi_{2}}\oplus V_{-4\psi_{1}-2\psi_{3}}\oplus V_{2\omega_{1}-2\psi_{1}-2\psi_{2}-4\psi_{3}}\)
Made total 2098405 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{6}_1\) ↪ \(A^{1}_6\)
6 out of 61
Subalgebra type: \(\displaystyle A^{6}_1\) (click on type for detailed printout).
Centralizer: \(\displaystyle A^{2}_1\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_2+A^{2}_1\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, 0, 0, -1, 0), (2, 0, -1, 1, 0, -2)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{6}_1+A^{2}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{6}_1\): (2, 3, 4, 4, 3, 2): 12
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-9}+g_{-12}+g_{-15}+g_{-17}\)
Positive simple generators: \(\displaystyle g_{17}+2g_{15}+2g_{12}+g_{9}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/3\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}12\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{4\omega_{1}}\oplus 4V_{3\omega_{1}}\oplus 5V_{2\omega_{1}}\oplus 4V_{\omega_{1}}\oplus 4V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{3\omega_{1}+2\psi_{1}+6\psi_{2}}\oplus V_{3\omega_{1}-2\psi_{1}+8\psi_{2}}\oplus V_{\omega_{1}+2\psi_{1}+6\psi_{2}}
\oplus V_{\omega_{1}-2\psi_{1}+8\psi_{2}}\oplus V_{4\omega_{1}}\oplus V_{2\omega_{1}+4\psi_{1}-2\psi_{2}}\oplus 3V_{2\omega_{1}}\oplus V_{4\psi_{1}-2\psi_{2}}
\oplus V_{2\omega_{1}-4\psi_{1}+2\psi_{2}}\oplus 2V_{0}\oplus V_{-4\psi_{1}+2\psi_{2}}\oplus V_{3\omega_{1}+2\psi_{1}-8\psi_{2}}\oplus V_{3\omega_{1}-2\psi_{1}-6\psi_{2}}
\oplus V_{\omega_{1}+2\psi_{1}-8\psi_{2}}\oplus V_{\omega_{1}-2\psi_{1}-6\psi_{2}}\)
Made total 1042511 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{8}_1\) ↪ \(A^{1}_6\)
7 out of 61
Subalgebra type: \(\displaystyle A^{8}_1\) (click on type for detailed printout).
Centralizer: \(\displaystyle A^{3}_1\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{2}_2\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, -2, -2, -1, 0), (1, 0, 0, 1, 0, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{8}_1+A^{3}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{8}_1\): (2, 4, 4, 4, 4, 2): 16
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-5}+g_{-12}+g_{-13}+g_{-15}\)
Positive simple generators: \(\displaystyle 2g_{15}+2g_{13}+2g_{12}+2g_{5}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/4\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}16\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle 4V_{4\omega_{1}}\oplus 8V_{2\omega_{1}}\oplus 4V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{2\omega_{1}+6\psi_{1}+2\psi_{2}}\oplus V_{2\omega_{1}+8\psi_{1}-2\psi_{2}}\oplus V_{4\omega_{1}-2\psi_{1}+4\psi_{2}}
\oplus V_{2\omega_{1}-2\psi_{1}+4\psi_{2}}\oplus 2V_{4\omega_{1}}\oplus V_{-2\psi_{1}+4\psi_{2}}\oplus 2V_{2\omega_{1}}\oplus V_{4\omega_{1}+2\psi_{1}-4\psi_{2}}
\oplus 2V_{0}\oplus V_{2\omega_{1}+2\psi_{1}-4\psi_{2}}\oplus V_{2\psi_{1}-4\psi_{2}}\oplus V_{2\omega_{1}-8\psi_{1}+2\psi_{2}}\oplus V_{2\omega_{1}-6\psi_{1}-2\psi_{2}}\)
Made total 13552781 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{10}_1\) ↪ \(A^{1}_6\)
8 out of 61
Subalgebra type: \(\displaystyle A^{10}_1\) (click on type for detailed printout).
Centralizer: \(\displaystyle A^{1}_2\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_3\)
Basis of Cartan of centralizer: 3 vectors:
(0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (1, 2, 0, 0, -2, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{10}_1+A^{1}_1\) , \(\displaystyle A^{10}_1+A^{4}_1\) , \(\displaystyle A^{1}_2+A^{10}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{10}_1\): (3, 4, 4, 4, 4, 3): 20
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-1}+g_{-6}+g_{-17}\)
Positive simple generators: \(\displaystyle 4g_{17}+3g_{6}+3g_{1}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/5\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}20\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{6\omega_{1}}\oplus V_{4\omega_{1}}\oplus 6V_{3\omega_{1}}\oplus V_{2\omega_{1}}\oplus 9V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{3\omega_{1}+2\psi_{2}+6\psi_{3}}\oplus V_{3\omega_{1}-2\psi_{1}+6\psi_{3}}\oplus V_{-2\psi_{1}+4\psi_{2}+4\psi_{3}}
\oplus V_{6\omega_{1}}\oplus V_{3\omega_{1}+2\psi_{1}-2\psi_{2}+2\psi_{3}}\oplus V_{2\psi_{1}+2\psi_{2}}\oplus V_{4\omega_{1}}\oplus V_{-4\psi_{1}+2\psi_{2}+4\psi_{3}}
\oplus V_{2\omega_{1}}\oplus V_{3\omega_{1}-2\psi_{1}+2\psi_{2}-2\psi_{3}}\oplus 3V_{0}\oplus V_{3\omega_{1}+2\psi_{1}-6\psi_{3}}
\oplus V_{4\psi_{1}-2\psi_{2}-4\psi_{3}}\oplus V_{-2\psi_{1}-2\psi_{2}}\oplus V_{3\omega_{1}-2\psi_{2}-6\psi_{3}}\oplus V_{2\psi_{1}-4\psi_{2}-4\psi_{3}}\)
Made total 7191 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{11}_1\) ↪ \(A^{1}_6\)
9 out of 61
Subalgebra type: \(\displaystyle A^{11}_1\) (click on type for detailed printout).
Centralizer: \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 2 vectors:
(0, 0, 1, -1, 0, 0), (1, 2, 0, 0, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{11}_1\): (3, 4, 5, 5, 4, 3): 22
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-1}+g_{-6}+g_{-9}+g_{-17}\)
Positive simple generators: \(\displaystyle 4g_{17}+g_{9}+3g_{6}+3g_{1}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2/11\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}22\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{6\omega_{1}}\oplus 3V_{4\omega_{1}}\oplus 2V_{3\omega_{1}}\oplus 4V_{2\omega_{1}}\oplus 2V_{\omega_{1}}\oplus 2V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{3\omega_{1}+4\psi_{1}+2\psi_{2}}\oplus V_{4\omega_{1}-2\psi_{1}+6\psi_{2}}\oplus V_{2\omega_{1}-2\psi_{1}+6\psi_{2}}
\oplus V_{6\omega_{1}}\oplus V_{4\omega_{1}}\oplus V_{\omega_{1}+6\psi_{1}-4\psi_{2}}\oplus 2V_{2\omega_{1}}\oplus 2V_{0}\oplus V_{4\omega_{1}+2\psi_{1}-6\psi_{2}}
\oplus V_{\omega_{1}-6\psi_{1}+4\psi_{2}}\oplus V_{2\omega_{1}+2\psi_{1}-6\psi_{2}}\oplus V_{3\omega_{1}-4\psi_{1}-2\psi_{2}}\)
Made total 3346549 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{14}_1\) ↪ \(A^{1}_6\)
10 out of 61
Subalgebra type: \(\displaystyle A^{14}_1\) (click on type for detailed printout).
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(3, -1, 2, -2, 1, -3)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{14}_1\): (3, 5, 6, 6, 5, 3): 28
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-7}+g_{-8}+g_{-9}+g_{-10}+g_{-11}\)
Positive simple generators: \(\displaystyle 3g_{11}+2g_{10}+4g_{9}+2g_{8}+3g_{7}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/7\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}28\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{6\omega_{1}}\oplus 2V_{5\omega_{1}}\oplus 2V_{4\omega_{1}}\oplus 2V_{3\omega_{1}}\oplus 2V_{2\omega_{1}}\oplus 2V_{\omega_{1}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{5\omega_{1}+14\psi}\oplus V_{3\omega_{1}+14\psi}\oplus V_{\omega_{1}+14\psi}\oplus V_{6\omega_{1}}\oplus 2V_{4\omega_{1}}\oplus 2V_{2\omega_{1}}
\oplus V_{0}\oplus V_{5\omega_{1}-14\psi}\oplus V_{3\omega_{1}-14\psi}\oplus V_{\omega_{1}-14\psi}\)
Made total 58244 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{20}_1\) ↪ \(A^{1}_6\)
11 out of 61
Subalgebra type: \(\displaystyle A^{20}_1\) (click on type for detailed printout).
Centralizer: \(\displaystyle A^{1}_1\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_4\)
Basis of Cartan of centralizer: 2 vectors:
(0, 0, 1, 0, 0, 0), (1, 2, 0, -3, -2, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{20}_1+A^{1}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{20}_1\): (4, 6, 6, 6, 6, 4): 40
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-1}+g_{-5}+g_{-6}+g_{-13}\)
Positive simple generators: \(\displaystyle 6g_{13}+4g_{6}+6g_{5}+4g_{1}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/10\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}40\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{8\omega_{1}}\oplus V_{6\omega_{1}}\oplus 5V_{4\omega_{1}}\oplus V_{2\omega_{1}}\oplus 4V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{4\omega_{1}+2\psi_{1}+8\psi_{2}}\oplus V_{4\omega_{1}-2\psi_{1}+6\psi_{2}}\oplus V_{8\omega_{1}}\oplus V_{4\psi_{1}+2\psi_{2}}
\oplus V_{6\omega_{1}}\oplus V_{4\omega_{1}}\oplus V_{2\omega_{1}}\oplus 2V_{0}\oplus V_{4\omega_{1}+2\psi_{1}-6\psi_{2}}\oplus V_{-4\psi_{1}-2\psi_{2}}
\oplus V_{4\omega_{1}-2\psi_{1}-8\psi_{2}}\)
Made total 3395126 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{21}_1\) ↪ \(A^{1}_6\)
12 out of 61
Subalgebra type: \(\displaystyle A^{21}_1\) (click on type for detailed printout).
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(2, 4, -1, 1, -4, -2)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{21}_1\): (4, 6, 7, 7, 6, 4): 42
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-1}+g_{-6}+g_{-8}+g_{-9}+g_{-10}\)
Positive simple generators: \(\displaystyle 6g_{10}+g_{9}+6g_{8}+4g_{6}+4g_{1}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2/21\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}42\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{8\omega_{1}}\oplus V_{6\omega_{1}}\oplus 2V_{5\omega_{1}}\oplus V_{4\omega_{1}}\oplus 2V_{3\omega_{1}}\oplus 2V_{2\omega_{1}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{5\omega_{1}+14\psi}\oplus V_{3\omega_{1}+14\psi}\oplus V_{8\omega_{1}}\oplus V_{6\omega_{1}}\oplus V_{4\omega_{1}}\oplus 2V_{2\omega_{1}}
\oplus V_{0}\oplus V_{5\omega_{1}-14\psi}\oplus V_{3\omega_{1}-14\psi}\)
Made total 57164 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{35}_1\) ↪ \(A^{1}_6\)
13 out of 61
Subalgebra type: \(\displaystyle A^{35}_1\) (click on type for detailed printout).
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(1, 2, 3, -3, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{35}_1\): (5, 8, 9, 9, 8, 5): 70
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-1}+g_{-2}+g_{-5}+g_{-6}+g_{-9}\)
Positive simple generators: \(\displaystyle 9g_{9}+5g_{6}+8g_{5}+8g_{2}+5g_{1}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2/35\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}70\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{10\omega_{1}}\oplus V_{8\omega_{1}}\oplus V_{6\omega_{1}}\oplus 2V_{5\omega_{1}}\oplus V_{4\omega_{1}}\oplus V_{2\omega_{1}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{5\omega_{1}+14\psi}\oplus V_{10\omega_{1}}\oplus V_{8\omega_{1}}\oplus V_{6\omega_{1}}\oplus V_{4\omega_{1}}\oplus V_{2\omega_{1}}\oplus V_{0}
\oplus V_{5\omega_{1}-14\psi}\)
Made total 56322 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{56}_1\) ↪ \(A^{1}_6\)
14 out of 61
Subalgebra type: \(\displaystyle A^{56}_1\) (click on type for detailed printout).
Centralizer: 0
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{56}_1\): (6, 10, 12, 12, 10, 6): 112
Dimension of subalgebra generated by predefined or computed generators: 3.
Negative simple generators: \(\displaystyle g_{-1}+g_{-2}+g_{-3}+g_{-4}+g_{-5}+g_{-6}\)
Positive simple generators: \(\displaystyle 6g_{6}+10g_{5}+12g_{4}+12g_{3}+10g_{2}+6g_{1}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/28\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}112\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{12\omega_{1}}\oplus V_{10\omega_{1}}\oplus V_{8\omega_{1}}\oplus V_{6\omega_{1}}\oplus V_{4\omega_{1}}\oplus V_{2\omega_{1}}\)
Made total 128928 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(2A^{1}_1\) ↪ \(A^{1}_6\)
15 out of 61
Subalgebra type: \(\displaystyle 2A^{1}_1\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_1\) .
Centralizer: \(\displaystyle A^{1}_2\) + \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_3\)
Basis of Cartan of centralizer: 4 vectors:
(0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 1, 0, 0, -1, 0), (1, 0, 0, 0, 0, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle 3A^{1}_1\) , \(\displaystyle A^{4}_1+2A^{1}_1\) , \(\displaystyle A^{1}_2+2A^{1}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_1\): (1, 1, 1, 1, 1, 1): 2, \(\displaystyle A^{1}_1\): (0, 1, 1, 1, 1, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 6.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{-17}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{17}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & 0\\
0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & 0\\
0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{2}}\oplus 2V_{\omega_{1}+\omega_{2}}\oplus V_{2\omega_{1}}\oplus 6V_{\omega_{2}}\oplus 6V_{\omega_{1}}\oplus 10V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+2\psi_{2}+2\psi_{3}+2\psi_{4}}\oplus V_{\omega_{2}+2\psi_{2}+4\psi_{3}-2\psi_{4}}\oplus V_{\omega_{1}+\omega_{2}-2\psi_{3}+4\psi_{4}}
\oplus V_{-2\psi_{1}+4\psi_{2}+2\psi_{3}}\oplus V_{2\psi_{1}+2\psi_{2}}\oplus V_{\omega_{1}-2\psi_{1}+2\psi_{3}+2\psi_{4}}
\oplus V_{\omega_{1}+2\psi_{1}-2\psi_{2}+2\psi_{4}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus V_{\omega_{2}-2\psi_{1}+2\psi_{2}-2\psi_{3}+2\psi_{4}}
\oplus V_{\omega_{2}+2\psi_{1}-4\psi_{3}+2\psi_{4}}\oplus V_{\omega_{2}-2\psi_{1}+4\psi_{3}-2\psi_{4}}\oplus V_{\omega_{2}+2\psi_{1}-2\psi_{2}+2\psi_{3}-2\psi_{4}}
\oplus V_{-4\psi_{1}+2\psi_{2}+2\psi_{3}}\oplus 4V_{0}\oplus V_{4\psi_{1}-2\psi_{2}-2\psi_{3}}\oplus V_{\omega_{1}+\omega_{2}+2\psi_{3}-4\psi_{4}}
\oplus V_{\omega_{1}-2\psi_{1}+2\psi_{2}-2\psi_{4}}\oplus V_{\omega_{1}+2\psi_{1}-2\psi_{3}-2\psi_{4}}\oplus V_{\omega_{2}-2\psi_{2}-4\psi_{3}+2\psi_{4}}
\oplus V_{-2\psi_{1}-2\psi_{2}}\oplus V_{2\psi_{1}-4\psi_{2}-2\psi_{3}}\oplus V_{\omega_{1}-2\psi_{2}-2\psi_{3}-2\psi_{4}}\)
Made total 371 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{2}_1+A^{1}_1\) ↪ \(A^{1}_6\)
16 out of 61
Subalgebra type: \(\displaystyle A^{2}_1+A^{1}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{2}_1\) .
Centralizer: \(\displaystyle A^{2}_1\) + \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_2+A^{2}_1\)
Basis of Cartan of centralizer: 3 vectors:
(0, 0, 1, -1, 0, 0), (0, 1, 0, 0, -1, 0), (1, 0, 0, 0, 0, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle 2A^{2}_1+A^{1}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{2}_1\): (1, 2, 2, 2, 2, 1): 4, \(\displaystyle A^{1}_1\): (0, 0, 1, 1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 6.
Negative simple generators: \(\displaystyle g_{-17}+g_{-21}\), \(\displaystyle g_{-9}\)
Positive simple generators: \(\displaystyle g_{21}+g_{17}\), \(\displaystyle g_{9}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1 & 0\\
0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}4 & 0\\
0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{2}}\oplus 4V_{\omega_{1}+\omega_{2}}\oplus 4V_{2\omega_{1}}\oplus 2V_{\omega_{2}}\oplus 4V_{\omega_{1}}\oplus 5V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+4\psi_{1}+2\psi_{3}}\oplus V_{\omega_{2}+6\psi_{1}-2\psi_{2}}\oplus V_{\omega_{1}+4\psi_{1}+2\psi_{2}-2\psi_{3}}
\oplus V_{2\omega_{1}-2\psi_{2}+4\psi_{3}}\oplus V_{\omega_{1}+\omega_{2}-2\psi_{1}+2\psi_{2}+2\psi_{3}}\oplus V_{-2\psi_{2}+4\psi_{3}}
\oplus V_{\omega_{1}+\omega_{2}+2\psi_{1}-4\psi_{2}+2\psi_{3}}\oplus V_{2\omega_{2}}\oplus 2V_{2\omega_{1}}\oplus V_{\omega_{1}+\omega_{2}-2\psi_{1}+4\psi_{2}-2\psi_{3}}
\oplus 3V_{0}\oplus V_{\omega_{1}+\omega_{2}+2\psi_{1}-2\psi_{2}-2\psi_{3}}\oplus V_{2\omega_{1}+2\psi_{2}-4\psi_{3}}\oplus V_{2\psi_{2}-4\psi_{3}}
\oplus V_{\omega_{1}-4\psi_{1}-2\psi_{2}+2\psi_{3}}\oplus V_{\omega_{2}-6\psi_{1}+2\psi_{2}}\oplus V_{\omega_{1}-4\psi_{1}-2\psi_{3}}\)
Made total 622 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(2A^{2}_1\) ↪ \(A^{1}_6\)
17 out of 61
Subalgebra type: \(\displaystyle 2A^{2}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{2}_1\) .
Centralizer: \(\displaystyle A^{1}_2\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_3\)
Basis of Cartan of centralizer: 3 vectors:
(0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (1, 2, 0, 0, -2, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle 2A^{2}_1+A^{1}_1\) , \(\displaystyle A^{4}_1+2A^{2}_1\) , \(\displaystyle A^{1}_2+2A^{2}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{2}_1\): (1, 2, 2, 2, 2, 1): 4, \(\displaystyle A^{2}_1\): (1, 0, 0, 0, 0, 1): 4
Dimension of subalgebra generated by predefined or computed generators: 6.
Negative simple generators: \(\displaystyle g_{-19}+g_{-20}\), \(\displaystyle g_{-1}+g_{-6}\)
Positive simple generators: \(\displaystyle g_{20}+g_{19}\), \(\displaystyle g_{6}+g_{1}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1 & 0\\
0 & 1\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}4 & 0\\
0 & 4\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{1}+2\omega_{2}}\oplus V_{2\omega_{2}}\oplus 6V_{\omega_{1}+\omega_{2}}\oplus V_{2\omega_{1}}\oplus 9V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+\omega_{2}+2\psi_{2}+6\psi_{3}}\oplus V_{\omega_{1}+\omega_{2}-2\psi_{1}+6\psi_{3}}\oplus V_{-2\psi_{1}+4\psi_{2}+4\psi_{3}}
\oplus V_{\omega_{1}+\omega_{2}+2\psi_{1}-2\psi_{2}+2\psi_{3}}\oplus V_{2\psi_{1}+2\psi_{2}}\oplus V_{2\omega_{1}+2\omega_{2}}
\oplus V_{-4\psi_{1}+2\psi_{2}+4\psi_{3}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus 3V_{0}\oplus V_{\omega_{1}+\omega_{2}-2\psi_{1}+2\psi_{2}-2\psi_{3}}
\oplus V_{4\psi_{1}-2\psi_{2}-4\psi_{3}}\oplus V_{\omega_{1}+\omega_{2}+2\psi_{1}-6\psi_{3}}\oplus V_{-2\psi_{1}-2\psi_{2}}
\oplus V_{2\psi_{1}-4\psi_{2}-4\psi_{3}}\oplus V_{\omega_{1}+\omega_{2}-2\psi_{2}-6\psi_{3}}\)
Made total 422688 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{3}_1+A^{2}_1\) ↪ \(A^{1}_6\)
18 out of 61
Subalgebra type: \(\displaystyle A^{3}_1+A^{2}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{3}_1\) .
Centralizer: \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, 1, -1, -1, 0), (1, 0, 1, -1, 0, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{3}_1\): (1, 2, 3, 3, 2, 1): 6, \(\displaystyle A^{2}_1\): (1, 1, 0, 0, 1, 1): 4
Dimension of subalgebra generated by predefined or computed generators: 6.
Negative simple generators: \(\displaystyle g_{-16}+g_{-17}+g_{-18}\), \(\displaystyle g_{-7}+g_{-11}\)
Positive simple generators: \(\displaystyle g_{18}+g_{17}+g_{16}\), \(\displaystyle g_{11}+g_{7}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2/3 & 0\\
0 & 1\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}6 & 0\\
0 & 4\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{1}+2\omega_{2}}\oplus 2V_{2\omega_{1}+\omega_{2}}\oplus V_{2\omega_{2}}\oplus 2V_{\omega_{1}+\omega_{2}}\oplus 2V_{2\omega_{1}}
\oplus 2V_{\omega_{2}}\oplus 2V_{\omega_{1}}\oplus 2V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+\omega_{2}+4\psi_{1}+6\psi_{2}}\oplus V_{\omega_{1}+6\psi_{1}+2\psi_{2}}\oplus V_{2\omega_{1}+\omega_{2}-2\psi_{1}+4\psi_{2}}
\oplus V_{2\omega_{1}+2\omega_{2}}\oplus V_{\omega_{2}-2\psi_{1}+4\psi_{2}}\oplus V_{2\omega_{2}}\oplus 2V_{2\omega_{1}}\oplus V_{2\omega_{1}+\omega_{2}+2\psi_{1}-4\psi_{2}}
\oplus 2V_{0}\oplus V_{\omega_{2}+2\psi_{1}-4\psi_{2}}\oplus V_{\omega_{1}-6\psi_{1}-2\psi_{2}}\oplus V_{\omega_{1}+\omega_{2}-4\psi_{1}-6\psi_{2}}\)
Made total 685648 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{4}_1+A^{1}_1\) ↪ \(A^{1}_6\)
19 out of 61
Subalgebra type: \(\displaystyle A^{4}_1+A^{1}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{4}_1\) .
Centralizer: \(\displaystyle A^{1}_1\) + \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_4\)
Basis of Cartan of centralizer: 3 vectors:
(0, 0, 1, 0, 0, 0), (0, 1, 0, -1, -1, 0), (1, 0, 0, -1, 0, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{4}_1+2A^{1}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{4}_1\): (2, 2, 2, 2, 2, 2): 8, \(\displaystyle A^{1}_1\): (0, 1, 1, 1, 1, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 6.
Negative simple generators: \(\displaystyle g_{-11}+g_{-16}\), \(\displaystyle g_{-17}\)
Positive simple generators: \(\displaystyle 2g_{16}+2g_{11}\), \(\displaystyle g_{17}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/2 & 0\\
0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}8 & 0\\
0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{4\omega_{1}}\oplus 2V_{2\omega_{1}+\omega_{2}}\oplus V_{2\omega_{2}}\oplus 5V_{2\omega_{1}}\oplus 4V_{\omega_{2}}\oplus 5V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{2\omega_{1}+2\psi_{1}+2\psi_{2}+4\psi_{3}}\oplus V_{\omega_{2}+2\psi_{1}+4\psi_{2}}\oplus V_{4\psi_{1}+2\psi_{3}}
\oplus V_{2\omega_{1}+\omega_{2}-2\psi_{2}+4\psi_{3}}\oplus V_{2\omega_{1}-2\psi_{1}+2\psi_{2}+2\psi_{3}}\oplus V_{4\omega_{1}}
\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus V_{\omega_{2}+2\psi_{1}-4\psi_{2}+2\psi_{3}}\oplus V_{\omega_{2}-2\psi_{1}+4\psi_{2}-2\psi_{3}}
\oplus V_{2\omega_{1}+\omega_{2}+2\psi_{2}-4\psi_{3}}\oplus 3V_{0}\oplus V_{2\omega_{1}+2\psi_{1}-2\psi_{2}-2\psi_{3}}\oplus V_{\omega_{2}-2\psi_{1}-4\psi_{2}}
\oplus V_{-4\psi_{1}-2\psi_{3}}\oplus V_{2\omega_{1}-2\psi_{1}-2\psi_{2}-4\psi_{3}}\)
Made total 774 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{4}_1+A^{2}_1\) ↪ \(A^{1}_6\)
20 out of 61
Subalgebra type: \(\displaystyle A^{4}_1+A^{2}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{4}_1\) .
Centralizer: \(\displaystyle A^{2}_1\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_2+A^{2}_1\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, 0, 0, -1, 0), (2, 0, -1, 1, 0, -2)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{4}_1+2A^{2}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{4}_1\): (2, 2, 2, 2, 2, 2): 8, \(\displaystyle A^{2}_1\): (0, 1, 2, 2, 1, 0): 4
Dimension of subalgebra generated by predefined or computed generators: 6.
Negative simple generators: \(\displaystyle g_{-12}+g_{-15}\), \(\displaystyle g_{-9}+g_{-17}\)
Positive simple generators: \(\displaystyle 2g_{15}+2g_{12}\), \(\displaystyle g_{17}+g_{9}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/2 & 0\\
0 & 1\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}8 & 0\\
0 & 4\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{4\omega_{1}}\oplus 4V_{2\omega_{1}+\omega_{2}}\oplus 4V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus 4V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{2\omega_{1}+\omega_{2}+2\psi_{1}+6\psi_{2}}\oplus V_{2\omega_{1}+\omega_{2}-2\psi_{1}+8\psi_{2}}\oplus V_{4\omega_{1}}
\oplus V_{2\omega_{2}+4\psi_{1}-2\psi_{2}}\oplus 2V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus V_{4\psi_{1}-2\psi_{2}}\oplus V_{2\omega_{2}-4\psi_{1}+2\psi_{2}}
\oplus 2V_{0}\oplus V_{-4\psi_{1}+2\psi_{2}}\oplus V_{2\omega_{1}+\omega_{2}+2\psi_{1}-8\psi_{2}}\oplus V_{2\omega_{1}+\omega_{2}-2\psi_{1}-6\psi_{2}}\)
Made total 1103942 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(2A^{4}_1\) ↪ \(A^{1}_6\)
21 out of 61
Subalgebra type: \(\displaystyle 2A^{4}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{4}_1\) .
Centralizer: \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, 2, -1, -1, 0), (1, 0, -1, -1, 0, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{4}_1\): (2, 2, 2, 2, 2, 2): 8, \(\displaystyle A^{4}_1\): (0, 2, 2, 2, 2, 0): 8
Dimension of subalgebra generated by predefined or computed generators: 6.
Negative simple generators: \(\displaystyle g_{-11}+g_{-16}\), \(\displaystyle g_{-2}+g_{-14}\)
Positive simple generators: \(\displaystyle 2g_{16}+2g_{11}\), \(\displaystyle 2g_{14}+2g_{2}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/2 & 0\\
0 & 1/2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}8 & 0\\
0 & 8\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{4\omega_{2}}\oplus 2V_{2\omega_{1}+2\omega_{2}}\oplus V_{4\omega_{1}}\oplus 3V_{2\omega_{2}}\oplus 3V_{2\omega_{1}}\oplus 2V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{2\omega_{1}+6\psi_{1}+2\psi_{2}}\oplus V_{2\omega_{2}+8\psi_{1}-2\psi_{2}}\oplus V_{2\omega_{1}+2\omega_{2}-2\psi_{1}+4\psi_{2}}
\oplus V_{4\omega_{2}}\oplus V_{4\omega_{1}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus V_{2\omega_{1}+2\omega_{2}+2\psi_{1}-4\psi_{2}}
\oplus 2V_{0}\oplus V_{2\omega_{2}-8\psi_{1}+2\psi_{2}}\oplus V_{2\omega_{1}-6\psi_{1}-2\psi_{2}}\)
Made total 2373883 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{5}_1+A^{1}_1\) ↪ \(A^{1}_6\)
22 out of 61
Subalgebra type: \(\displaystyle A^{5}_1+A^{1}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{5}_1\) .
Centralizer: \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, 0, 0, -1, 0), (2, 0, -1, 1, 0, -2)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{5}_1\): (2, 3, 3, 3, 3, 2): 10, \(\displaystyle A^{1}_1\): (0, 0, 1, 1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 6.
Negative simple generators: \(\displaystyle g_{-12}+g_{-15}+g_{-17}\), \(\displaystyle g_{-9}\)
Positive simple generators: \(\displaystyle g_{17}+2g_{15}+2g_{12}\), \(\displaystyle g_{9}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2/5 & 0\\
0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}10 & 0\\
0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{4\omega_{1}}\oplus 2V_{2\omega_{1}+\omega_{2}}\oplus 2V_{3\omega_{1}}\oplus V_{2\omega_{2}}\oplus 2V_{\omega_{1}+\omega_{2}}\oplus 2V_{2\omega_{1}}
\oplus 2V_{\omega_{1}}\oplus 2V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{2\omega_{1}+\omega_{2}+2\psi_{1}+6\psi_{2}}\oplus V_{3\omega_{1}-2\psi_{1}+8\psi_{2}}\oplus V_{\omega_{1}-2\psi_{1}+8\psi_{2}}
\oplus V_{4\omega_{1}}\oplus V_{\omega_{1}+\omega_{2}+4\psi_{1}-2\psi_{2}}\oplus V_{2\omega_{2}}\oplus 2V_{2\omega_{1}}\oplus V_{\omega_{1}+\omega_{2}-4\psi_{1}+2\psi_{2}}
\oplus 2V_{0}\oplus V_{3\omega_{1}+2\psi_{1}-8\psi_{2}}\oplus V_{2\omega_{1}+\omega_{2}-2\psi_{1}-6\psi_{2}}\oplus V_{\omega_{1}+2\psi_{1}-8\psi_{2}}\)
Made total 22493 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{6}_1+A^{2}_1\) ↪ \(A^{1}_6\)
23 out of 61
Subalgebra type: \(\displaystyle A^{6}_1+A^{2}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{6}_1\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(4, 1, -2, 2, -1, -4)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{6}_1\): (2, 3, 4, 4, 3, 2): 12, \(\displaystyle A^{2}_1\): (0, 1, 0, 0, 1, 0): 4
Dimension of subalgebra generated by predefined or computed generators: 6.
Negative simple generators: \(\displaystyle g_{-12}+g_{-13}+g_{-14}+g_{-15}\), \(\displaystyle g_{-2}+g_{-5}\)
Positive simple generators: \(\displaystyle 2g_{15}+g_{14}+g_{13}+2g_{12}\), \(\displaystyle g_{5}+g_{2}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/3 & 0\\
0 & 1\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}12 & 0\\
0 & 4\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{1}+2\omega_{2}}\oplus 2V_{3\omega_{1}+\omega_{2}}\oplus V_{4\omega_{1}}\oplus V_{2\omega_{2}}\oplus 2V_{\omega_{1}+\omega_{2}}
\oplus 2V_{2\omega_{1}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{3\omega_{1}+\omega_{2}+14\psi}\oplus V_{\omega_{1}+\omega_{2}+14\psi}\oplus V_{2\omega_{1}+2\omega_{2}}\oplus V_{4\omega_{1}}
\oplus V_{2\omega_{2}}\oplus 2V_{2\omega_{1}}\oplus V_{0}\oplus V_{3\omega_{1}+\omega_{2}-14\psi}\oplus V_{\omega_{1}+\omega_{2}-14\psi}\)
Made total 1460454 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{8}_1+A^{3}_1\) ↪ \(A^{1}_6\)
24 out of 61
Subalgebra type: \(\displaystyle A^{8}_1+A^{3}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{8}_1\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(1, 2, 3, -3, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{8}_1\): (2, 4, 4, 4, 4, 2): 16, \(\displaystyle A^{3}_1\): (1, 0, 1, 1, 0, 1): 6
Dimension of subalgebra generated by predefined or computed generators: 6.
Negative simple generators: \(\displaystyle g_{-7}+g_{-11}+g_{-13}+g_{-14}\), \(\displaystyle g_{-1}+g_{-6}+g_{-9}\)
Positive simple generators: \(\displaystyle 2g_{14}+2g_{13}+2g_{11}+2g_{7}\), \(\displaystyle g_{9}+g_{6}+g_{1}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/4 & 0\\
0 & 2/3\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}16 & 0\\
0 & 6\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{4\omega_{1}+2\omega_{2}}\oplus V_{2\omega_{1}+2\omega_{2}}\oplus V_{4\omega_{1}}\oplus 2V_{2\omega_{1}+\omega_{2}}\oplus V_{2\omega_{2}}
\oplus V_{2\omega_{1}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{2\omega_{1}+\omega_{2}+14\psi}\oplus V_{4\omega_{1}+2\omega_{2}}\oplus V_{2\omega_{1}+2\omega_{2}}\oplus V_{4\omega_{1}}
\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus V_{0}\oplus V_{2\omega_{1}+\omega_{2}-14\psi}\)
Made total 4958202 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{10}_1+A^{1}_1\) ↪ \(A^{1}_6\)
25 out of 61
Subalgebra type: \(\displaystyle A^{10}_1+A^{1}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{10}_1\) .
Centralizer: \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 2 vectors:
(0, 0, 1, -1, 0, 0), (1, 2, 0, 0, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{10}_1\): (3, 4, 4, 4, 4, 3): 20, \(\displaystyle A^{1}_1\): (0, 0, 1, 1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 6.
Negative simple generators: \(\displaystyle g_{-1}+g_{-6}+g_{-17}\), \(\displaystyle g_{-9}\)
Positive simple generators: \(\displaystyle 4g_{17}+3g_{6}+3g_{1}\), \(\displaystyle g_{9}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/5 & 0\\
0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}20 & 0\\
0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{6\omega_{1}}\oplus 2V_{3\omega_{1}+\omega_{2}}\oplus V_{4\omega_{1}}\oplus 2V_{3\omega_{1}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}
\oplus 2V_{\omega_{2}}\oplus 2V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{3\omega_{1}+4\psi_{1}+2\psi_{2}}\oplus V_{3\omega_{1}+\omega_{2}-2\psi_{1}+6\psi_{2}}\oplus V_{6\omega_{1}}\oplus V_{4\omega_{1}}
\oplus V_{\omega_{2}+6\psi_{1}-4\psi_{2}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus 2V_{0}\oplus V_{3\omega_{1}+\omega_{2}+2\psi_{1}-6\psi_{2}}
\oplus V_{\omega_{2}-6\psi_{1}+4\psi_{2}}\oplus V_{3\omega_{1}-4\psi_{1}-2\psi_{2}}\)
Made total 543 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{10}_1+A^{4}_1\) ↪ \(A^{1}_6\)
26 out of 61
Subalgebra type: \(\displaystyle A^{10}_1+A^{4}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{10}_1\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(3, 6, 2, -2, -6, -3)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{10}_1\): (3, 4, 4, 4, 4, 3): 20, \(\displaystyle A^{4}_1\): (0, 0, 2, 2, 0, 0): 8
Dimension of subalgebra generated by predefined or computed generators: 6.
Negative simple generators: \(\displaystyle g_{-1}+g_{-6}+g_{-17}\), \(\displaystyle g_{-3}+g_{-4}\)
Positive simple generators: \(\displaystyle 4g_{17}+3g_{6}+3g_{1}\), \(\displaystyle 2g_{4}+2g_{3}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/5 & 0\\
0 & 1/2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}20 & 0\\
0 & 8\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{6\omega_{1}}\oplus 2V_{3\omega_{1}+2\omega_{2}}\oplus V_{4\omega_{2}}\oplus V_{4\omega_{1}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}
\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{3\omega_{1}+2\omega_{2}+14\psi}\oplus V_{6\omega_{1}}\oplus V_{4\omega_{2}}\oplus V_{4\omega_{1}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}
\oplus V_{0}\oplus V_{3\omega_{1}+2\omega_{2}-14\psi}\)
Made total 3298 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{20}_1+A^{1}_1\) ↪ \(A^{1}_6\)
27 out of 61
Subalgebra type: \(\displaystyle A^{20}_1+A^{1}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{20}_1\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(2, 4, -1, 1, -4, -2)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{20}_1\): (4, 6, 6, 6, 6, 4): 40, \(\displaystyle A^{1}_1\): (0, 0, 1, 1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 6.
Negative simple generators: \(\displaystyle g_{-1}+g_{-6}+g_{-8}+g_{-10}\), \(\displaystyle g_{-9}\)
Positive simple generators: \(\displaystyle 6g_{10}+6g_{8}+4g_{6}+4g_{1}\), \(\displaystyle g_{9}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/10 & 0\\
0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}40 & 0\\
0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{8\omega_{1}}\oplus V_{6\omega_{1}}\oplus 2V_{4\omega_{1}+\omega_{2}}\oplus V_{4\omega_{1}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}
\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{4\omega_{1}+\omega_{2}+14\psi}\oplus V_{8\omega_{1}}\oplus V_{6\omega_{1}}\oplus V_{4\omega_{1}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}
\oplus V_{0}\oplus V_{4\omega_{1}+\omega_{2}-14\psi}\)
Made total 56640 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_2\) ↪ \(A^{1}_6\)
28 out of 61
Subalgebra type: \(\displaystyle A^{1}_2\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_1\) .
Centralizer: \(\displaystyle A^{1}_3\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_2\)
Basis of Cartan of centralizer: 4 vectors:
(0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (1, 0, 0, 0, -2, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{1}_2+A^{1}_1\) , \(\displaystyle A^{1}_2+A^{2}_1\) , \(\displaystyle A^{1}_2+A^{4}_1\) , \(\displaystyle A^{1}_2+A^{10}_1\) , \(\displaystyle A^{1}_2+2A^{1}_1\) , \(\displaystyle A^{1}_2+2A^{2}_1\) , \(\displaystyle 2A^{1}_2\) , \(\displaystyle B^{1}_2+A^{1}_2\) , \(\displaystyle A^{1}_3+A^{1}_2\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_2\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2
Dimension of subalgebra generated by predefined or computed generators: 8.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1\\
-1 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1\\
-1 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{\omega_{1}+\omega_{2}}\oplus 4V_{\omega_{2}}\oplus 4V_{\omega_{1}}\oplus 16V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+2\psi_{3}+6\psi_{4}}\oplus V_{-2\psi_{2}+4\psi_{3}+4\psi_{4}}\oplus V_{-2\psi_{1}+2\psi_{2}+2\psi_{3}+4\psi_{4}}
\oplus V_{2\psi_{1}+2\psi_{3}+2\psi_{4}}\oplus V_{\omega_{1}-2\psi_{1}+4\psi_{4}}\oplus V_{\omega_{1}+2\psi_{1}-2\psi_{2}+2\psi_{4}}
\oplus V_{\omega_{1}+2\psi_{2}-2\psi_{3}+2\psi_{4}}\oplus V_{\omega_{1}+\omega_{2}}\oplus V_{-2\psi_{1}-2\psi_{2}+2\psi_{3}+2\psi_{4}}
\oplus V_{-4\psi_{1}+2\psi_{2}+2\psi_{4}}\oplus V_{2\psi_{1}-4\psi_{2}+2\psi_{3}}\oplus 4V_{0}\oplus V_{-2\psi_{1}+4\psi_{2}-2\psi_{3}}
\oplus V_{4\psi_{1}-2\psi_{2}-2\psi_{4}}\oplus V_{2\psi_{1}+2\psi_{2}-2\psi_{3}-2\psi_{4}}\oplus V_{\omega_{2}-2\psi_{2}+2\psi_{3}-2\psi_{4}}
\oplus V_{\omega_{2}-2\psi_{1}+2\psi_{2}-2\psi_{4}}\oplus V_{\omega_{2}+2\psi_{1}-4\psi_{4}}\oplus V_{-2\psi_{1}-2\psi_{3}-2\psi_{4}}
\oplus V_{2\psi_{1}-2\psi_{2}-2\psi_{3}-4\psi_{4}}\oplus V_{2\psi_{2}-4\psi_{3}-4\psi_{4}}\oplus V_{\omega_{2}-2\psi_{3}-6\psi_{4}}\)
Made total 365 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(B^{1}_2\) ↪ \(A^{1}_6\)
29 out of 61
Subalgebra type: \(\displaystyle B^{1}_2\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_1\) .
Centralizer: \(\displaystyle A^{1}_2\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_3\)
Basis of Cartan of centralizer: 3 vectors:
(0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (1, 2, 0, 0, -2, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle B^{1}_2+A^{1}_1\) , \(\displaystyle B^{1}_2+A^{4}_1\) , \(\displaystyle B^{1}_2+A^{1}_2\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle B^{1}_2\): (1, 1, 1, 1, 1, 1): 2, (-1, 0, 0, 0, 0, -1): 4
Dimension of subalgebra generated by predefined or computed generators: 10.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}+g_{1}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-1}+g_{-6}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1\\
-1 & 1\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -2\\
-2 & 4\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{2}}\oplus 6V_{\omega_{2}}\oplus V_{\omega_{1}}\oplus 9V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{2}+2\psi_{2}+6\psi_{3}}\oplus V_{-2\psi_{1}+4\psi_{2}+4\psi_{3}}\oplus V_{\omega_{2}-2\psi_{1}+6\psi_{3}}
\oplus V_{2\psi_{1}+2\psi_{2}}\oplus V_{\omega_{2}+2\psi_{1}-2\psi_{2}+2\psi_{3}}\oplus V_{-4\psi_{1}+2\psi_{2}+4\psi_{3}}
\oplus V_{2\omega_{2}}\oplus V_{\omega_{1}}\oplus 3V_{0}\oplus V_{\omega_{2}-2\psi_{1}+2\psi_{2}-2\psi_{3}}\oplus V_{4\psi_{1}-2\psi_{2}-4\psi_{3}}
\oplus V_{\omega_{2}+2\psi_{1}-6\psi_{3}}\oplus V_{-2\psi_{1}-2\psi_{2}}\oplus V_{2\psi_{1}-4\psi_{2}-4\psi_{3}}\oplus V_{\omega_{2}-2\psi_{2}-6\psi_{3}}\)
Made total 2272 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{2}_2\) ↪ \(A^{1}_6\)
30 out of 61
Subalgebra type: \(\displaystyle A^{2}_2\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{2}_1\) .
Centralizer: \(\displaystyle A^{3}_1\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{2}_2\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, -2, -2, -1, 0), (1, 0, 0, 1, 0, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{2}_2+A^{3}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{2}_2\): (1, 2, 2, 2, 2, 1): 4, (0, 0, 0, -1, -2, -1): 4
Dimension of subalgebra generated by predefined or computed generators: 8.
Negative simple generators: \(\displaystyle g_{-17}+g_{-21}\), \(\displaystyle g_{15}+g_{5}\)
Positive simple generators: \(\displaystyle g_{21}+g_{17}\), \(\displaystyle g_{-5}+g_{-15}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1 & -1/2\\
-1/2 & 1\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}4 & -2\\
-2 & 4\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle 4V_{\omega_{1}+\omega_{2}}\oplus 2V_{\omega_{2}}\oplus 2V_{\omega_{1}}\oplus 4V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+6\psi_{1}+2\psi_{2}}\oplus V_{\omega_{1}+8\psi_{1}-2\psi_{2}}\oplus V_{\omega_{1}+\omega_{2}-2\psi_{1}+4\psi_{2}}
\oplus V_{-2\psi_{1}+4\psi_{2}}\oplus 2V_{\omega_{1}+\omega_{2}}\oplus 2V_{0}\oplus V_{\omega_{1}+\omega_{2}+2\psi_{1}-4\psi_{2}}
\oplus V_{2\psi_{1}-4\psi_{2}}\oplus V_{\omega_{2}-8\psi_{1}+2\psi_{2}}\oplus V_{\omega_{2}-6\psi_{1}-2\psi_{2}}\)
Made total 263803 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{2}_2\) ↪ \(A^{1}_6\)
31 out of 61
Subalgebra type: \(\displaystyle A^{2}_2\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{2}_1\) .
Centralizer: \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 2 vectors:
(1, 1, 1, -2, -1, 0), (1, 0, -1, -1, 0, 1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{2}_2\): (1, 2, 2, 2, 2, 1): 4, (0, -1, 0, 0, -1, 0): 4
Dimension of subalgebra generated by predefined or computed generators: 8.
Negative simple generators: \(\displaystyle g_{-19}+g_{-20}\), \(\displaystyle g_{5}+g_{2}\)
Positive simple generators: \(\displaystyle g_{20}+g_{19}\), \(\displaystyle g_{-2}+g_{-5}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1 & -1/2\\
-1/2 & 1\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}4 & -2\\
-2 & 4\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{2}}\oplus 2V_{\omega_{1}+\omega_{2}}\oplus V_{2\omega_{1}}\oplus 3V_{\omega_{2}}\oplus 3V_{\omega_{1}}\oplus 2V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+8\psi_{1}+2\psi_{2}}\oplus V_{2\omega_{1}+2\psi_{1}+4\psi_{2}}\oplus V_{\omega_{2}+2\psi_{1}+4\psi_{2}}
\oplus V_{\omega_{2}+6\psi_{1}-2\psi_{2}}\oplus 2V_{\omega_{1}+\omega_{2}}\oplus 2V_{0}\oplus V_{\omega_{1}-6\psi_{1}+2\psi_{2}}\oplus V_{2\omega_{2}-2\psi_{1}-4\psi_{2}}
\oplus V_{\omega_{1}-2\psi_{1}-4\psi_{2}}\oplus V_{\omega_{2}-8\psi_{1}-2\psi_{2}}\)
Made total 25599 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(B^{2}_2\) ↪ \(A^{1}_6\)
32 out of 61
Subalgebra type: \(\displaystyle B^{2}_2\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{2}_1\) .
Centralizer: \(\displaystyle A^{1}_1\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_4\)
Basis of Cartan of centralizer: 2 vectors:
(0, 0, 1, 0, 0, 0), (1, 2, 0, -3, -2, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle B^{2}_2+A^{1}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle B^{2}_2\): (1, 2, 2, 2, 2, 1): 4, (0, -2, -2, -2, -2, 0): 8
Dimension of subalgebra generated by predefined or computed generators: 10.
Negative simple generators: \(\displaystyle g_{-19}+g_{-20}\), \(\displaystyle g_{13}+g_{5}\)
Positive simple generators: \(\displaystyle g_{20}+g_{19}\), \(\displaystyle 2g_{-5}+2g_{-13}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1 & -1/2\\
-1/2 & 1/2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}4 & -4\\
-4 & 8\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus 4V_{\omega_{1}}\oplus 4V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+2\psi_{1}+8\psi_{2}}\oplus V_{4\psi_{1}+2\psi_{2}}\oplus V_{\omega_{1}-2\psi_{1}+6\psi_{2}}\oplus V_{2\omega_{2}}
\oplus V_{2\omega_{1}}\oplus 2V_{0}\oplus V_{\omega_{1}+2\psi_{1}-6\psi_{2}}\oplus V_{-4\psi_{1}-2\psi_{2}}\oplus V_{\omega_{1}-2\psi_{1}-8\psi_{2}}\)
Made total 17912932 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(G^{2}_2\) ↪ \(A^{1}_6\)
33 out of 61
Subalgebra type: \(\displaystyle G^{2}_2\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{6}_1\) .
Centralizer: 0
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle G^{2}_2\): (2, 3, 4, 4, 3, 2): 12, (-1, -1, -2, -2, -1, -1): 4
Dimension of subalgebra generated by predefined or computed generators: 14.
Negative simple generators: \(\displaystyle g_{-12}+g_{-13}+g_{-14}+g_{-15}\), \(\displaystyle g_{18}+g_{16}\)
Positive simple generators: \(\displaystyle 2g_{15}+g_{14}+g_{13}+2g_{12}\), \(\displaystyle g_{-16}+g_{-18}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/3 & -1/2\\
-1/2 & 1\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}12 & -6\\
-6 & 4\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{1}}\oplus V_{\omega_{2}}\oplus V_{\omega_{1}}\)
Made total 137892 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{5}_2\) ↪ \(A^{1}_6\)
34 out of 61
Subalgebra type: \(\displaystyle A^{5}_2\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{5}_1\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(1, 2, 3, -3, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{5}_2\): (2, 3, 3, 3, 3, 2): 10, (0, -1, 0, 0, -2, -2): 10
Dimension of subalgebra generated by predefined or computed generators: 8.
Negative simple generators: \(\displaystyle g_{-7}+g_{-17}+g_{-18}\), \(\displaystyle g_{6}+g_{5}+1/2g_{2}\)
Positive simple generators: \(\displaystyle 2g_{18}+g_{17}+2g_{7}\), \(\displaystyle 2g_{-2}+2g_{-5}+2g_{-6}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2/5 & -1/5\\
-1/5 & 2/5\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}10 & -5\\
-5 & 10\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{1}+2\omega_{2}}\oplus V_{2\omega_{2}}\oplus V_{\omega_{1}+\omega_{2}}\oplus V_{2\omega_{1}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{2\omega_{1}+14\psi}\oplus V_{2\omega_{1}+2\omega_{2}}\oplus V_{\omega_{1}+\omega_{2}}\oplus V_{0}\oplus V_{2\omega_{2}-14\psi}\)
Made total 1817599 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(3A^{1}_1\) ↪ \(A^{1}_6\)
35 out of 61
Subalgebra type: \(\displaystyle 3A^{1}_1\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from \(\displaystyle 2A^{1}_1\) .
Centralizer: \(\displaystyle T_{3}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 3 vectors:
(0, 0, 1, -1, 0, 0), (0, 1, 0, 0, -1, 0), (1, 0, 0, 0, 0, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_1\): (1, 1, 1, 1, 1, 1): 2, \(\displaystyle A^{1}_1\): (0, 1, 1, 1, 1, 0): 2, \(\displaystyle A^{1}_1\): (0, 0, 1, 1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 9.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{-17}\), \(\displaystyle g_{-9}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{17}\), \(\displaystyle g_{9}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & 0 & 0\\
0 & 2 & 0\\
0 & 0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & 0 & 0\\
0 & 2 & 0\\
0 & 0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{3}}\oplus 2V_{\omega_{2}+\omega_{3}}\oplus 2V_{\omega_{1}+\omega_{3}}\oplus V_{2\omega_{2}}\oplus 2V_{\omega_{1}+\omega_{2}}
\oplus V_{2\omega_{1}}\oplus 2V_{\omega_{3}}\oplus 2V_{\omega_{2}}\oplus 2V_{\omega_{1}}\oplus 3V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+4\psi_{1}+2\psi_{3}}\oplus V_{\omega_{3}+6\psi_{1}-2\psi_{2}}\oplus V_{\omega_{2}+4\psi_{1}+2\psi_{2}-2\psi_{3}}
\oplus V_{\omega_{1}+\omega_{2}-2\psi_{2}+4\psi_{3}}\oplus V_{\omega_{1}+\omega_{3}-2\psi_{1}+2\psi_{2}+2\psi_{3}}\oplus V_{\omega_{2}+\omega_{3}+2\psi_{1}-4\psi_{2}+2\psi_{3}}
\oplus V_{2\omega_{3}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus V_{\omega_{2}+\omega_{3}-2\psi_{1}+4\psi_{2}-2\psi_{3}}\oplus 3V_{0}
\oplus V_{\omega_{1}+\omega_{3}+2\psi_{1}-2\psi_{2}-2\psi_{3}}\oplus V_{\omega_{1}+\omega_{2}+2\psi_{2}-4\psi_{3}}\oplus V_{\omega_{2}-4\psi_{1}-2\psi_{2}+2\psi_{3}}
\oplus V_{\omega_{3}-6\psi_{1}+2\psi_{2}}\oplus V_{\omega_{1}-4\psi_{1}-2\psi_{3}}\)
Made total 456 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(2A^{2}_1+A^{1}_1\) ↪ \(A^{1}_6\)
36 out of 61
Subalgebra type: \(\displaystyle 2A^{2}_1+A^{1}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle 2A^{2}_1\) .
Centralizer: \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 2 vectors:
(0, 0, 1, -1, 0, 0), (1, 2, 0, 0, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{2}_1\): (1, 2, 2, 2, 2, 1): 4, \(\displaystyle A^{2}_1\): (1, 0, 0, 0, 0, 1): 4, \(\displaystyle A^{1}_1\): (0, 0, 1, 1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 9.
Negative simple generators: \(\displaystyle g_{-19}+g_{-20}\), \(\displaystyle g_{-1}+g_{-6}\), \(\displaystyle g_{-9}\)
Positive simple generators: \(\displaystyle g_{20}+g_{19}\), \(\displaystyle g_{6}+g_{1}\), \(\displaystyle g_{9}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1 & 0 & 0\\
0 & 1 & 0\\
0 & 0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}4 & 0 & 0\\
0 & 4 & 0\\
0 & 0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{1}+2\omega_{2}}\oplus 2V_{\omega_{1}+\omega_{2}+\omega_{3}}\oplus V_{2\omega_{3}}\oplus V_{2\omega_{2}}\oplus 2V_{\omega_{1}+\omega_{2}}
\oplus V_{2\omega_{1}}\oplus 2V_{\omega_{3}}\oplus 2V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+\omega_{2}+4\psi_{1}+2\psi_{2}}\oplus V_{\omega_{1}+\omega_{2}+\omega_{3}-2\psi_{1}+6\psi_{2}}
\oplus V_{2\omega_{1}+2\omega_{2}}\oplus V_{\omega_{3}+6\psi_{1}-4\psi_{2}}\oplus V_{2\omega_{3}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}
\oplus 2V_{0}\oplus V_{\omega_{3}-6\psi_{1}+4\psi_{2}}\oplus V_{\omega_{1}+\omega_{2}+\omega_{3}+2\psi_{1}-6\psi_{2}}\oplus V_{\omega_{1}+\omega_{2}-4\psi_{1}-2\psi_{2}}\)
Made total 634 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{4}_1+2A^{1}_1\) ↪ \(A^{1}_6\)
37 out of 61
Subalgebra type: \(\displaystyle A^{4}_1+2A^{1}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{4}_1+A^{1}_1\) .
Centralizer: \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, 0, 0, -1, 0), (2, 0, -1, 1, 0, -2)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{4}_1\): (2, 2, 2, 2, 2, 2): 8, \(\displaystyle A^{1}_1\): (0, 1, 1, 1, 1, 0): 2, \(\displaystyle A^{1}_1\): (0, 0, 1, 1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 9.
Negative simple generators: \(\displaystyle g_{-12}+g_{-15}\), \(\displaystyle g_{-17}\), \(\displaystyle g_{-9}\)
Positive simple generators: \(\displaystyle 2g_{15}+2g_{12}\), \(\displaystyle g_{17}\), \(\displaystyle g_{9}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/2 & 0 & 0\\
0 & 2 & 0\\
0 & 0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}8 & 0 & 0\\
0 & 2 & 0\\
0 & 0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{4\omega_{1}}\oplus 2V_{2\omega_{1}+\omega_{3}}\oplus 2V_{2\omega_{1}+\omega_{2}}\oplus V_{2\omega_{3}}\oplus 2V_{\omega_{2}+\omega_{3}}
\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus 2V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{2\omega_{1}+\omega_{3}+2\psi_{1}+6\psi_{2}}\oplus V_{2\omega_{1}+\omega_{2}-2\psi_{1}+8\psi_{2}}\oplus V_{4\omega_{1}}
\oplus V_{\omega_{2}+\omega_{3}+4\psi_{1}-2\psi_{2}}\oplus V_{2\omega_{3}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus V_{\omega_{2}+\omega_{3}-4\psi_{1}+2\psi_{2}}
\oplus 2V_{0}\oplus V_{2\omega_{1}+\omega_{2}+2\psi_{1}-8\psi_{2}}\oplus V_{2\omega_{1}+\omega_{3}-2\psi_{1}-6\psi_{2}}\)
Made total 22064 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{4}_1+2A^{2}_1\) ↪ \(A^{1}_6\)
38 out of 61
Subalgebra type: \(\displaystyle A^{4}_1+2A^{2}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{4}_1+A^{2}_1\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(4, 1, -2, 2, -1, -4)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{4}_1\): (2, 2, 2, 2, 2, 2): 8, \(\displaystyle A^{2}_1\): (0, 1, 2, 2, 1, 0): 4, \(\displaystyle A^{2}_1\): (0, 1, 0, 0, 1, 0): 4
Dimension of subalgebra generated by predefined or computed generators: 9.
Negative simple generators: \(\displaystyle g_{-12}+g_{-15}\), \(\displaystyle g_{-13}+g_{-14}\), \(\displaystyle g_{-2}+g_{-5}\)
Positive simple generators: \(\displaystyle 2g_{15}+2g_{12}\), \(\displaystyle g_{14}+g_{13}\), \(\displaystyle g_{5}+g_{2}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1/2 & 0 & 0\\
0 & 1 & 0\\
0 & 0 & 1\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}8 & 0 & 0\\
0 & 4 & 0\\
0 & 0 & 4\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{2}+2\omega_{3}}\oplus 2V_{2\omega_{1}+\omega_{2}+\omega_{3}}\oplus V_{4\omega_{1}}\oplus V_{2\omega_{3}}\oplus V_{2\omega_{2}}
\oplus V_{2\omega_{1}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{2\omega_{1}+\omega_{2}+\omega_{3}+14\psi}\oplus V_{2\omega_{2}+2\omega_{3}}\oplus V_{4\omega_{1}}\oplus V_{2\omega_{3}}
\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus V_{0}\oplus V_{2\omega_{1}+\omega_{2}+\omega_{3}-14\psi}\)
Made total 1467392 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_2+A^{1}_1\) ↪ \(A^{1}_6\)
39 out of 61
Subalgebra type: \(\displaystyle A^{1}_2+A^{1}_1\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_2\) .
Centralizer: \(\displaystyle A^{1}_1\) + \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_4\)
Basis of Cartan of centralizer: 3 vectors:
(0, 0, 1, 0, 0, 0), (0, 1, 0, -1, 0, 0), (1, -1, 0, 0, -2, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{1}_2+2A^{1}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_2\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, \(\displaystyle A^{1}_1\): (0, 1, 1, 1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 11.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{-13}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle g_{13}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0\\
-1 & 2 & 0\\
0 & 0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0\\
-1 & 2 & 0\\
0 & 0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{3}}\oplus V_{\omega_{2}+\omega_{3}}\oplus V_{\omega_{1}+\omega_{3}}\oplus V_{\omega_{1}+\omega_{2}}\oplus 4V_{\omega_{3}}
\oplus 2V_{\omega_{2}}\oplus 2V_{\omega_{1}}\oplus 5V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+2\psi_{1}+2\psi_{2}+2\psi_{3}}\oplus V_{\omega_{1}+\omega_{3}-2\psi_{2}+6\psi_{3}}\oplus V_{4\psi_{1}+2\psi_{3}}
\oplus V_{\omega_{3}+2\psi_{1}-4\psi_{2}+6\psi_{3}}\oplus V_{\omega_{3}+2\psi_{1}+4\psi_{2}-4\psi_{3}}\oplus V_{2\omega_{3}}
\oplus V_{\omega_{1}+\omega_{2}}\oplus V_{\omega_{1}-2\psi_{1}+2\psi_{2}}\oplus V_{\omega_{2}+2\psi_{1}-2\psi_{2}}\oplus 3V_{0}\oplus V_{\omega_{3}-2\psi_{1}-4\psi_{2}+4\psi_{3}}
\oplus V_{\omega_{2}+\omega_{3}+2\psi_{2}-6\psi_{3}}\oplus V_{\omega_{3}-2\psi_{1}+4\psi_{2}-6\psi_{3}}\oplus V_{\omega_{2}-2\psi_{1}-2\psi_{2}-2\psi_{3}}
\oplus V_{-4\psi_{1}-2\psi_{3}}\)
Made total 452 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_2+A^{2}_1\) ↪ \(A^{1}_6\)
40 out of 61
Subalgebra type: \(\displaystyle A^{1}_2+A^{2}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_2\) .
Centralizer: \(\displaystyle A^{2}_1\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_2+A^{2}_1\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, 0, -1, 0, 0), (2, -2, -1, 0, -4, -2)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{1}_2+2A^{2}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_2\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, \(\displaystyle A^{2}_1\): (0, 1, 2, 1, 0, 0): 4
Dimension of subalgebra generated by predefined or computed generators: 11.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{-3}+g_{-13}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle g_{13}+g_{3}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0\\
-1 & 2 & 0\\
0 & 0 & 1\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0\\
-1 & 2 & 0\\
0 & 0 & 4\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle 4V_{2\omega_{3}}\oplus 2V_{\omega_{2}+\omega_{3}}\oplus 2V_{\omega_{1}+\omega_{3}}\oplus V_{\omega_{1}+\omega_{2}}\oplus 4V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+\omega_{3}-2\psi_{1}+12\psi_{2}}\oplus V_{2\omega_{3}-4\psi_{1}+10\psi_{2}}\oplus V_{-4\psi_{1}+10\psi_{2}}
\oplus V_{\omega_{1}+\omega_{3}+2\psi_{1}+2\psi_{2}}\oplus 2V_{2\omega_{3}}\oplus V_{\omega_{1}+\omega_{2}}\oplus 2V_{0}\oplus V_{\omega_{2}+\omega_{3}-2\psi_{1}-2\psi_{2}}
\oplus V_{2\omega_{3}+4\psi_{1}-10\psi_{2}}\oplus V_{4\psi_{1}-10\psi_{2}}\oplus V_{\omega_{2}+\omega_{3}+2\psi_{1}-12\psi_{2}}\)
Made total 206642 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_2+A^{4}_1\) ↪ \(A^{1}_6\)
41 out of 61
Subalgebra type: \(\displaystyle A^{1}_2+A^{4}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_2\) .
Centralizer: \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, 2, -1, 0, 0), (1, -1, -3, 0, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_2\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, \(\displaystyle A^{4}_1\): (0, 2, 2, 2, 0, 0): 8
Dimension of subalgebra generated by predefined or computed generators: 11.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{-2}+g_{-9}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle 2g_{9}+2g_{2}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0\\
-1 & 2 & 0\\
0 & 0 & 1/2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0\\
-1 & 2 & 0\\
0 & 0 & 8\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{4\omega_{3}}\oplus V_{\omega_{2}+2\omega_{3}}\oplus V_{\omega_{1}+2\omega_{3}}\oplus 3V_{2\omega_{3}}\oplus V_{\omega_{1}+\omega_{2}}
\oplus V_{\omega_{2}}\oplus V_{\omega_{1}}\oplus 2V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+2\omega_{3}-2\psi_{1}+6\psi_{2}}\oplus V_{2\omega_{3}-8\psi_{1}+10\psi_{2}}\oplus V_{4\omega_{3}}\oplus V_{\omega_{1}+6\psi_{1}-4\psi_{2}}
\oplus V_{2\omega_{3}}\oplus V_{\omega_{1}+\omega_{2}}\oplus 2V_{0}\oplus V_{2\omega_{3}+8\psi_{1}-10\psi_{2}}\oplus V_{\omega_{2}-6\psi_{1}+4\psi_{2}}
\oplus V_{\omega_{2}+2\omega_{3}+2\psi_{1}-6\psi_{2}}\)
Made total 267477 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_2+A^{10}_1\) ↪ \(A^{1}_6\)
42 out of 61
Subalgebra type: \(\displaystyle A^{1}_2+A^{10}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_2\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(4, 1, -2, -5, -8, -4)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_2\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, \(\displaystyle A^{10}_1\): (0, 3, 4, 3, 0, 0): 20
Dimension of subalgebra generated by predefined or computed generators: 11.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{-2}+g_{-3}+g_{-4}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle 3g_{4}+4g_{3}+3g_{2}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0\\
-1 & 2 & 0\\
0 & 0 & 1/5\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0\\
-1 & 2 & 0\\
0 & 0 & 20\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{6\omega_{3}}\oplus V_{4\omega_{3}}\oplus V_{\omega_{2}+3\omega_{3}}\oplus V_{\omega_{1}+3\omega_{3}}\oplus V_{2\omega_{3}}\oplus V_{\omega_{1}+\omega_{2}}
\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+3\omega_{3}+14\psi}\oplus V_{6\omega_{3}}\oplus V_{4\omega_{3}}\oplus V_{2\omega_{3}}\oplus V_{\omega_{1}+\omega_{2}}
\oplus V_{0}\oplus V_{\omega_{2}+3\omega_{3}-14\psi}\)
Made total 10695 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(B^{1}_2+A^{1}_1\) ↪ \(A^{1}_6\)
43 out of 61
Subalgebra type: \(\displaystyle B^{1}_2+A^{1}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle B^{1}_2\) .
Centralizer: \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 2 vectors:
(0, 0, 1, -1, 0, 0), (1, 2, 0, 0, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle B^{1}_2\): (1, 1, 1, 1, 1, 1): 2, (-1, 0, 0, 0, 0, -1): 4, \(\displaystyle A^{1}_1\): (0, 0, 1, 1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 13.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}+g_{1}\), \(\displaystyle g_{-9}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-1}+g_{-6}\), \(\displaystyle g_{9}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0\\
-1 & 1 & 0\\
0 & 0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -2 & 0\\
-2 & 4 & 0\\
0 & 0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{3}}\oplus 2V_{\omega_{2}+\omega_{3}}\oplus V_{2\omega_{2}}\oplus 2V_{\omega_{3}}\oplus 2V_{\omega_{2}}\oplus V_{\omega_{1}}\oplus 2V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{2}+4\psi_{1}+2\psi_{2}}\oplus V_{\omega_{2}+\omega_{3}-2\psi_{1}+6\psi_{2}}\oplus V_{\omega_{3}+6\psi_{1}-4\psi_{2}}
\oplus V_{2\omega_{3}}\oplus V_{2\omega_{2}}\oplus V_{\omega_{1}}\oplus 2V_{0}\oplus V_{\omega_{3}-6\psi_{1}+4\psi_{2}}\oplus V_{\omega_{2}+\omega_{3}+2\psi_{1}-6\psi_{2}}
\oplus V_{\omega_{2}-4\psi_{1}-2\psi_{2}}\)
Made total 535 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(B^{1}_2+A^{4}_1\) ↪ \(A^{1}_6\)
44 out of 61
Subalgebra type: \(\displaystyle B^{1}_2+A^{4}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle B^{1}_2\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(3, 6, 2, -2, -6, -3)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle B^{1}_2\): (1, 1, 1, 1, 1, 1): 2, (-1, 0, 0, 0, 0, -1): 4, \(\displaystyle A^{4}_1\): (0, 0, 2, 2, 0, 0): 8
Dimension of subalgebra generated by predefined or computed generators: 13.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}+g_{1}\), \(\displaystyle g_{-3}+g_{-4}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-1}+g_{-6}\), \(\displaystyle 2g_{4}+2g_{3}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0\\
-1 & 1 & 0\\
0 & 0 & 1/2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -2 & 0\\
-2 & 4 & 0\\
0 & 0 & 8\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{4\omega_{3}}\oplus 2V_{\omega_{2}+2\omega_{3}}\oplus V_{2\omega_{3}}\oplus V_{2\omega_{2}}\oplus V_{\omega_{1}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{2}+2\omega_{3}+14\psi}\oplus V_{4\omega_{3}}\oplus V_{2\omega_{3}}\oplus V_{2\omega_{2}}\oplus V_{\omega_{1}}\oplus V_{0}\oplus V_{\omega_{2}+2\omega_{3}-14\psi}\)
Made total 3290 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{2}_2+A^{3}_1\) ↪ \(A^{1}_6\)
45 out of 61
Subalgebra type: \(\displaystyle A^{2}_2+A^{3}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{2}_2\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(1, 2, -4, -3, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{2}_2\): (1, 2, 2, 2, 2, 1): 4, (0, 0, 0, -1, -2, -1): 4, \(\displaystyle A^{3}_1\): (1, 0, 0, 1, 0, 1): 6
Dimension of subalgebra generated by predefined or computed generators: 11.
Negative simple generators: \(\displaystyle g_{-19}+g_{-20}\), \(\displaystyle g_{11}+g_{10}\), \(\displaystyle g_{-1}+g_{-4}+g_{-6}\)
Positive simple generators: \(\displaystyle g_{20}+g_{19}\), \(\displaystyle g_{-10}+g_{-11}\), \(\displaystyle g_{6}+g_{4}+g_{1}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1 & -1/2 & 0\\
-1/2 & 1 & 0\\
0 & 0 & 2/3\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}4 & -2 & 0\\
-2 & 4 & 0\\
0 & 0 & 6\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{\omega_{1}+\omega_{2}+2\omega_{3}}\oplus V_{2\omega_{3}}\oplus V_{\omega_{2}+\omega_{3}}\oplus V_{\omega_{1}+\omega_{3}}
\oplus V_{\omega_{1}+\omega_{2}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+\omega_{3}+14\psi}\oplus V_{\omega_{1}+\omega_{2}+2\omega_{3}}\oplus V_{2\omega_{3}}\oplus V_{\omega_{1}+\omega_{2}}
\oplus V_{0}\oplus V_{\omega_{2}+\omega_{3}-14\psi}\)
Made total 5038285 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(B^{2}_2+A^{1}_1\) ↪ \(A^{1}_6\)
46 out of 61
Subalgebra type: \(\displaystyle B^{2}_2+A^{1}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle B^{2}_2\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(2, 4, -1, 1, -4, -2)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle B^{2}_2\): (1, 2, 2, 2, 2, 1): 4, (0, -2, -2, -2, -2, 0): 8, \(\displaystyle A^{1}_1\): (0, 0, 1, 1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 13.
Negative simple generators: \(\displaystyle g_{-19}+g_{-20}\), \(\displaystyle g_{10}+g_{8}\), \(\displaystyle g_{-9}\)
Positive simple generators: \(\displaystyle g_{20}+g_{19}\), \(\displaystyle 2g_{-8}+2g_{-10}\), \(\displaystyle g_{9}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1 & -1/2 & 0\\
-1/2 & 1/2 & 0\\
0 & 0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}4 & -4 & 0\\
-4 & 8 & 0\\
0 & 0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{3}}\oplus 2V_{\omega_{1}+\omega_{3}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+\omega_{3}+14\psi}\oplus V_{2\omega_{3}}\oplus V_{2\omega_{2}}\oplus V_{2\omega_{1}}\oplus V_{0}\oplus V_{\omega_{1}+\omega_{3}-14\psi}\)
Made total 56927 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_3\) ↪ \(A^{1}_6\)
47 out of 61
Subalgebra type: \(\displaystyle A^{1}_3\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_2\) .
Centralizer: \(\displaystyle A^{1}_2\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_3\)
Basis of Cartan of centralizer: 3 vectors:
(0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (1, 0, 0, -3, -2, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{1}_3+A^{1}_1\) , \(\displaystyle A^{1}_3+A^{4}_1\) , \(\displaystyle A^{1}_3+A^{1}_2\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_3\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, (0, 0, 0, 0, -1, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 15.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{5}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle g_{-5}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0\\
-1 & 2 & -1\\
0 & -1 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0\\
-1 & 2 & -1\\
0 & -1 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{\omega_{1}+\omega_{3}}\oplus 3V_{\omega_{3}}\oplus 3V_{\omega_{1}}\oplus 9V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+2\psi_{2}+8\psi_{3}}\oplus V_{-2\psi_{1}+4\psi_{2}+6\psi_{3}}\oplus V_{2\psi_{1}+2\psi_{2}+4\psi_{3}}
\oplus V_{\omega_{1}-2\psi_{1}+4\psi_{3}}\oplus V_{\omega_{1}+2\psi_{1}-2\psi_{2}+2\psi_{3}}\oplus V_{\omega_{1}+\omega_{3}}
\oplus V_{-4\psi_{1}+2\psi_{2}+2\psi_{3}}\oplus 3V_{0}\oplus V_{4\psi_{1}-2\psi_{2}-2\psi_{3}}\oplus V_{\omega_{3}-2\psi_{1}+2\psi_{2}-2\psi_{3}}
\oplus V_{\omega_{3}+2\psi_{1}-4\psi_{3}}\oplus V_{-2\psi_{1}-2\psi_{2}-4\psi_{3}}\oplus V_{2\psi_{1}-4\psi_{2}-6\psi_{3}}
\oplus V_{\omega_{3}-2\psi_{2}-8\psi_{3}}\)
Made total 448 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(C^{1}_3\) ↪ \(A^{1}_6\)
48 out of 61
Subalgebra type: \(\displaystyle C^{1}_3\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{2}_2\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(1, 2, 3, -3, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle C^{1}_3\): (1, 2, 2, 2, 2, 1): 4, (0, -1, 0, 0, -1, 0): 4, (0, 0, -1, -1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 21.
Negative simple generators: \(\displaystyle g_{-19}+g_{-20}\), \(\displaystyle g_{5}+g_{2}\), \(\displaystyle g_{9}\)
Positive simple generators: \(\displaystyle g_{20}+g_{19}\), \(\displaystyle g_{-2}+g_{-5}\), \(\displaystyle g_{-9}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1 & -1/2 & 0\\
-1/2 & 1 & -1\\
0 & -1 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}4 & -2 & 0\\
-2 & 4 & -2\\
0 & -2 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{1}}\oplus V_{\omega_{2}}\oplus 2V_{\omega_{1}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+14\psi}\oplus V_{2\omega_{1}}\oplus V_{\omega_{2}}\oplus V_{0}\oplus V_{\omega_{1}-14\psi}\)
Made total 626 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{2}_3\) ↪ \(A^{1}_6\)
49 out of 61
Subalgebra type: \(\displaystyle A^{2}_3\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{2}_2\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(1, 2, 3, -3, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{2}_3\): (1, 2, 2, 2, 2, 1): 4, (0, -1, 0, 0, -1, 0): 4, (-1, 0, 0, 0, 0, -1): 4
Dimension of subalgebra generated by predefined or computed generators: 15.
Negative simple generators: \(\displaystyle g_{-19}+g_{-20}\), \(\displaystyle g_{5}+g_{2}\), \(\displaystyle g_{6}+g_{1}\)
Positive simple generators: \(\displaystyle g_{20}+g_{19}\), \(\displaystyle g_{-2}+g_{-5}\), \(\displaystyle g_{-1}+g_{-6}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1 & -1/2 & 0\\
-1/2 & 1 & -1/2\\
0 & -1/2 & 1\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}4 & -2 & 0\\
-2 & 4 & -2\\
0 & -2 & 4\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{\omega_{1}+\omega_{3}}\oplus V_{2\omega_{2}}\oplus 2V_{\omega_{2}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{2}+14\psi}\oplus V_{\omega_{1}+\omega_{3}}\oplus V_{2\omega_{2}}\oplus V_{0}\oplus V_{\omega_{2}-14\psi}\)
Made total 8546 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(B^{2}_3\) ↪ \(A^{1}_6\)
50 out of 61
Subalgebra type: \(\displaystyle B^{2}_3\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{2}_2\) .
Centralizer: 0
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle B^{2}_3\): (1, 2, 2, 2, 2, 1): 4, (0, -1, 0, 0, -1, 0): 4, (0, 0, -2, -2, 0, 0): 8
Dimension of subalgebra generated by predefined or computed generators: 21.
Negative simple generators: \(\displaystyle g_{-19}+g_{-20}\), \(\displaystyle g_{5}+g_{2}\), \(\displaystyle g_{4}+g_{3}\)
Positive simple generators: \(\displaystyle g_{20}+g_{19}\), \(\displaystyle g_{-2}+g_{-5}\), \(\displaystyle 2g_{-3}+2g_{-4}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}1 & -1/2 & 0\\
-1/2 & 1 & -1/2\\
0 & -1/2 & 1/2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}4 & -2 & 0\\
-2 & 4 & -4\\
0 & -4 & 8\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{1}}\oplus V_{\omega_{2}}\)
Made total 3806 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_2+2A^{1}_1\) ↪ \(A^{1}_6\)
51 out of 61
Subalgebra type: \(\displaystyle A^{1}_2+2A^{1}_1\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_2+A^{1}_1\) .
Centralizer: \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, 0, -1, 0, 0), (2, -2, -1, 0, -4, -2)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_2\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, \(\displaystyle A^{1}_1\): (0, 1, 1, 1, 0, 0): 2, \(\displaystyle A^{1}_1\): (0, 0, 1, 0, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 14.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{-13}\), \(\displaystyle g_{-3}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle g_{13}\), \(\displaystyle g_{3}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0\\
-1 & 2 & 0 & 0\\
0 & 0 & 2 & 0\\
0 & 0 & 0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0\\
-1 & 2 & 0 & 0\\
0 & 0 & 2 & 0\\
0 & 0 & 0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{4}}\oplus 2V_{\omega_{3}+\omega_{4}}\oplus V_{\omega_{2}+\omega_{4}}\oplus V_{\omega_{1}+\omega_{4}}\oplus V_{2\omega_{3}}
\oplus V_{\omega_{2}+\omega_{3}}\oplus V_{\omega_{1}+\omega_{3}}\oplus V_{\omega_{1}+\omega_{2}}\oplus 2V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+\omega_{3}-2\psi_{1}+12\psi_{2}}\oplus V_{\omega_{3}+\omega_{4}-4\psi_{1}+10\psi_{2}}\oplus V_{\omega_{1}+\omega_{4}+2\psi_{1}+2\psi_{2}}
\oplus V_{2\omega_{4}}\oplus V_{2\omega_{3}}\oplus V_{\omega_{1}+\omega_{2}}\oplus 2V_{0}\oplus V_{\omega_{2}+\omega_{4}-2\psi_{1}-2\psi_{2}}
\oplus V_{\omega_{3}+\omega_{4}+4\psi_{1}-10\psi_{2}}\oplus V_{\omega_{2}+\omega_{3}+2\psi_{1}-12\psi_{2}}\)
Made total 535 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_2+2A^{2}_1\) ↪ \(A^{1}_6\)
52 out of 61
Subalgebra type: \(\displaystyle A^{1}_2+2A^{2}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_2+A^{2}_1\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(4, 1, -2, -5, -8, -4)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_2\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, \(\displaystyle A^{2}_1\): (0, 1, 2, 1, 0, 0): 4, \(\displaystyle A^{2}_1\): (0, 1, 0, 1, 0, 0): 4
Dimension of subalgebra generated by predefined or computed generators: 14.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{-8}+g_{-9}\), \(\displaystyle g_{-2}+g_{-4}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle g_{9}+g_{8}\), \(\displaystyle g_{4}+g_{2}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0\\
-1 & 2 & 0 & 0\\
0 & 0 & 1 & 0\\
0 & 0 & 0 & 1\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0\\
-1 & 2 & 0 & 0\\
0 & 0 & 4 & 0\\
0 & 0 & 0 & 4\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{3}+2\omega_{4}}\oplus V_{\omega_{2}+\omega_{3}+\omega_{4}}\oplus V_{\omega_{1}+\omega_{3}+\omega_{4}}\oplus V_{2\omega_{4}}
\oplus V_{2\omega_{3}}\oplus V_{\omega_{1}+\omega_{2}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+\omega_{3}+\omega_{4}+14\psi}\oplus V_{2\omega_{3}+2\omega_{4}}\oplus V_{2\omega_{4}}\oplus V_{2\omega_{3}}\oplus V_{\omega_{1}+\omega_{2}}
\oplus V_{0}\oplus V_{\omega_{2}+\omega_{3}+\omega_{4}-14\psi}\)
Made total 1466930 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(2A^{1}_2\) ↪ \(A^{1}_6\)
53 out of 61
Subalgebra type: \(\displaystyle 2A^{1}_2\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_2+A^{1}_1\) .
Centralizer: \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, -2, -1, 0, 0), (1, -1, 2, 0, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_2\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, \(\displaystyle A^{1}_2\): (0, 1, 1, 1, 0, 0): 2, (0, 0, 0, -1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 16.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{-13}\), \(\displaystyle g_{4}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle g_{13}\), \(\displaystyle g_{-4}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0\\
-1 & 2 & 0 & 0\\
0 & 0 & 2 & -1\\
0 & 0 & -1 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0\\
-1 & 2 & 0 & 0\\
0 & 0 & 2 & -1\\
0 & 0 & -1 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{\omega_{3}+\omega_{4}}\oplus V_{\omega_{1}+\omega_{4}}\oplus V_{\omega_{2}+\omega_{3}}\oplus V_{\omega_{1}+\omega_{2}}\oplus V_{\omega_{4}}
\oplus V_{\omega_{3}}\oplus V_{\omega_{2}}\oplus V_{\omega_{1}}\oplus 2V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+\omega_{4}-2\psi_{1}+6\psi_{2}}\oplus V_{\omega_{4}-8\psi_{1}+10\psi_{2}}\oplus V_{\omega_{1}+6\psi_{1}-4\psi_{2}}
\oplus V_{\omega_{3}+\omega_{4}}\oplus V_{\omega_{1}+\omega_{2}}\oplus 2V_{0}\oplus V_{\omega_{2}-6\psi_{1}+4\psi_{2}}\oplus V_{\omega_{3}+8\psi_{1}-10\psi_{2}}
\oplus V_{\omega_{2}+\omega_{3}+2\psi_{1}-6\psi_{2}}\)
Made total 535 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(B^{1}_2+A^{1}_2\) ↪ \(A^{1}_6\)
54 out of 61
Subalgebra type: \(\displaystyle B^{1}_2+A^{1}_2\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle B^{1}_2+A^{1}_1\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(3, 6, 2, -2, -6, -3)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle B^{1}_2\): (1, 1, 1, 1, 1, 1): 2, (-1, 0, 0, 0, 0, -1): 4, \(\displaystyle A^{1}_2\): (0, 0, 1, 1, 0, 0): 2, (0, 0, 0, -1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 18.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}+g_{1}\), \(\displaystyle g_{-9}\), \(\displaystyle g_{4}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-1}+g_{-6}\), \(\displaystyle g_{9}\), \(\displaystyle g_{-4}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0\\
-1 & 1 & 0 & 0\\
0 & 0 & 2 & -1\\
0 & 0 & -1 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -2 & 0 & 0\\
-2 & 4 & 0 & 0\\
0 & 0 & 2 & -1\\
0 & 0 & -1 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{\omega_{3}+\omega_{4}}\oplus V_{\omega_{2}+\omega_{4}}\oplus V_{\omega_{2}+\omega_{3}}\oplus V_{2\omega_{2}}\oplus V_{\omega_{1}}
\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{2}+\omega_{4}+14\psi}\oplus V_{\omega_{3}+\omega_{4}}\oplus V_{2\omega_{2}}\oplus V_{\omega_{1}}\oplus V_{0}\oplus V_{\omega_{2}+\omega_{3}-14\psi}\)
Made total 626 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_3+A^{1}_1\) ↪ \(A^{1}_6\)
55 out of 61
Subalgebra type: \(\displaystyle A^{1}_3+A^{1}_1\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_3\) .
Centralizer: \(\displaystyle T_{2}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, -1, 0, 0, 0), (1, -2, 0, -3, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_3\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, (0, 0, 0, 0, -1, 0): 2, \(\displaystyle A^{1}_1\): (0, 1, 1, 0, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 18.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{5}\), \(\displaystyle g_{-8}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle g_{-5}\), \(\displaystyle g_{8}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0\\
-1 & 2 & -1 & 0\\
0 & -1 & 2 & 0\\
0 & 0 & 0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0\\
-1 & 2 & -1 & 0\\
0 & -1 & 2 & 0\\
0 & 0 & 0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{4}}\oplus V_{\omega_{3}+\omega_{4}}\oplus V_{\omega_{1}+\omega_{4}}\oplus V_{\omega_{1}+\omega_{3}}\oplus 2V_{\omega_{4}}
\oplus V_{\omega_{3}}\oplus V_{\omega_{1}}\oplus 2V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+\omega_{4}-2\psi_{1}+8\psi_{2}}\oplus V_{\omega_{4}-6\psi_{1}+10\psi_{2}}\oplus V_{\omega_{1}+4\psi_{1}-2\psi_{2}}
\oplus V_{2\omega_{4}}\oplus V_{\omega_{1}+\omega_{3}}\oplus 2V_{0}\oplus V_{\omega_{3}-4\psi_{1}+2\psi_{2}}\oplus V_{\omega_{4}+6\psi_{1}-10\psi_{2}}
\oplus V_{\omega_{3}+\omega_{4}+2\psi_{1}-8\psi_{2}}\)
Made total 533 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_3+A^{4}_1\) ↪ \(A^{1}_6\)
56 out of 61
Subalgebra type: \(\displaystyle A^{1}_3+A^{4}_1\) (click on type for detailed printout).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_3\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(3, -1, -5, -9, -6, -3)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_3\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, (0, 0, 0, 0, -1, 0): 2, \(\displaystyle A^{4}_1\): (0, 2, 2, 0, 0, 0): 8
Dimension of subalgebra generated by predefined or computed generators: 18.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{5}\), \(\displaystyle g_{-2}+g_{-3}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle g_{-5}\), \(\displaystyle 2g_{3}+2g_{2}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0\\
-1 & 2 & -1 & 0\\
0 & -1 & 2 & 0\\
0 & 0 & 0 & 1/2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0\\
-1 & 2 & -1 & 0\\
0 & -1 & 2 & 0\\
0 & 0 & 0 & 8\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{4\omega_{4}}\oplus V_{\omega_{3}+2\omega_{4}}\oplus V_{\omega_{1}+2\omega_{4}}\oplus V_{2\omega_{4}}\oplus V_{\omega_{1}+\omega_{3}}
\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+2\omega_{4}+14\psi}\oplus V_{4\omega_{4}}\oplus V_{2\omega_{4}}\oplus V_{\omega_{1}+\omega_{3}}\oplus V_{0}\oplus V_{\omega_{3}+2\omega_{4}-14\psi}\)
Made total 3288 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_4\) ↪ \(A^{1}_6\)
57 out of 61
Subalgebra type: \(\displaystyle A^{1}_4\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_3\) .
Centralizer: \(\displaystyle A^{1}_1\) + \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_4\)
Basis of Cartan of centralizer: 2 vectors:
(0, 1, 0, 0, 0, 0), (1, 0, -4, -3, -2, -1)
Contained up to conjugation as a direct summand of: \(\displaystyle A^{1}_4+A^{1}_1\) .
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_4\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, (0, 0, 0, 0, -1, 0): 2, (0, 0, 0, -1, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 24.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{5}\), \(\displaystyle g_{4}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle g_{-5}\), \(\displaystyle g_{-4}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0\\
-1 & 2 & -1 & 0\\
0 & -1 & 2 & -1\\
0 & 0 & -1 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0\\
-1 & 2 & -1 & 0\\
0 & -1 & 2 & -1\\
0 & 0 & -1 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{\omega_{1}+\omega_{4}}\oplus 2V_{\omega_{4}}\oplus 2V_{\omega_{1}}\oplus 4V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+2\psi_{1}+10\psi_{2}}\oplus V_{4\psi_{1}+6\psi_{2}}\oplus V_{\omega_{1}-2\psi_{1}+4\psi_{2}}\oplus V_{\omega_{1}+\omega_{4}}
\oplus 2V_{0}\oplus V_{\omega_{4}+2\psi_{1}-4\psi_{2}}\oplus V_{-4\psi_{1}-6\psi_{2}}\oplus V_{\omega_{4}-2\psi_{1}-10\psi_{2}}\)
Made total 531 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_3+A^{1}_2\) ↪ \(A^{1}_6\)
58 out of 61
Subalgebra type: \(\displaystyle A^{1}_3+A^{1}_2\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_3+A^{1}_1\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(3, -1, -5, -9, -6, -3)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_3\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, (0, 0, 0, 0, -1, 0): 2, \(\displaystyle A^{1}_2\): (0, 1, 1, 0, 0, 0): 2, (0, 0, -1, 0, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 23.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{5}\), \(\displaystyle g_{-8}\), \(\displaystyle g_{3}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle g_{-5}\), \(\displaystyle g_{8}\), \(\displaystyle g_{-3}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0 & 0\\
-1 & 2 & -1 & 0 & 0\\
0 & -1 & 2 & 0 & 0\\
0 & 0 & 0 & 2 & -1\\
0 & 0 & 0 & -1 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0 & 0\\
-1 & 2 & -1 & 0 & 0\\
0 & -1 & 2 & 0 & 0\\
0 & 0 & 0 & 2 & -1\\
0 & 0 & 0 & -1 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{\omega_{4}+\omega_{5}}\oplus V_{\omega_{1}+\omega_{5}}\oplus V_{\omega_{3}+\omega_{4}}\oplus V_{\omega_{1}+\omega_{3}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+\omega_{5}+14\psi}\oplus V_{\omega_{4}+\omega_{5}}\oplus V_{\omega_{1}+\omega_{3}}\oplus V_{0}\oplus V_{\omega_{3}+\omega_{4}-14\psi}\)
Made total 616 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_4+A^{1}_1\) ↪ \(A^{1}_6\)
59 out of 61
Subalgebra type: \(\displaystyle A^{1}_4+A^{1}_1\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_4\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(2, -3, -8, -6, -4, -2)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_4\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, (0, 0, 0, 0, -1, 0): 2, (0, 0, 0, -1, 0, 0): 2, \(\displaystyle A^{1}_1\): (0, 1, 0, 0, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 27.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{5}\), \(\displaystyle g_{4}\), \(\displaystyle g_{-2}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle g_{-5}\), \(\displaystyle g_{-4}\), \(\displaystyle g_{2}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0 & 0\\
-1 & 2 & -1 & 0 & 0\\
0 & -1 & 2 & -1 & 0\\
0 & 0 & -1 & 2 & 0\\
0 & 0 & 0 & 0 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0 & 0\\
-1 & 2 & -1 & 0 & 0\\
0 & -1 & 2 & -1 & 0\\
0 & 0 & -1 & 2 & 0\\
0 & 0 & 0 & 0 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{2\omega_{5}}\oplus V_{\omega_{4}+\omega_{5}}\oplus V_{\omega_{1}+\omega_{5}}\oplus V_{\omega_{1}+\omega_{4}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+\omega_{5}+14\psi}\oplus V_{2\omega_{5}}\oplus V_{\omega_{1}+\omega_{4}}\oplus V_{0}\oplus V_{\omega_{4}+\omega_{5}-14\psi}\)
Made total 614 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_5\) ↪ \(A^{1}_6\)
60 out of 61
Subalgebra type: \(\displaystyle A^{1}_5\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_4\) .
Centralizer: \(\displaystyle T_{1}\) (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Basis of Cartan of centralizer: 1 vectors:
(1, -5, -4, -3, -2, -1)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_5\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, (0, 0, 0, 0, -1, 0): 2, (0, 0, 0, -1, 0, 0): 2, (0, 0, -1, 0, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 35.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{5}\), \(\displaystyle g_{4}\), \(\displaystyle g_{3}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle g_{-5}\), \(\displaystyle g_{-4}\), \(\displaystyle g_{-3}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0 & 0\\
-1 & 2 & -1 & 0 & 0\\
0 & -1 & 2 & -1 & 0\\
0 & 0 & -1 & 2 & -1\\
0 & 0 & 0 & -1 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0 & 0\\
-1 & 2 & -1 & 0 & 0\\
0 & -1 & 2 & -1 & 0\\
0 & 0 & -1 & 2 & -1\\
0 & 0 & 0 & -1 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{\omega_{1}+\omega_{5}}\oplus V_{\omega_{5}}\oplus V_{\omega_{1}}\oplus V_{0}\)
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). \(\displaystyle V_{\omega_{1}+14\psi}\oplus V_{\omega_{1}+\omega_{5}}\oplus V_{0}\oplus V_{\omega_{5}-14\psi}\)
Made total 614 arithmetic operations while solving the Serre relations polynomial system.
Subalgebra \(A^{1}_6\) ↪ \(A^{1}_6\)
61 out of 61
Subalgebra type: \(\displaystyle A^{1}_6\) (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from \(\displaystyle A^{1}_5\) .
Centralizer: 0
The semisimple part of the centralizer of the semisimple part of my centralizer: \(\displaystyle A^{1}_6\)
Elements Cartan subalgebra scaled to act by two by components: \(\displaystyle A^{1}_6\): (1, 1, 1, 1, 1, 1): 2, (0, 0, 0, 0, 0, -1): 2, (0, 0, 0, 0, -1, 0): 2, (0, 0, 0, -1, 0, 0): 2, (0, 0, -1, 0, 0, 0): 2, (0, -1, 0, 0, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 48.
Negative simple generators: \(\displaystyle g_{-21}\), \(\displaystyle g_{6}\), \(\displaystyle g_{5}\), \(\displaystyle g_{4}\), \(\displaystyle g_{3}\), \(\displaystyle g_{2}\)
Positive simple generators: \(\displaystyle g_{21}\), \(\displaystyle g_{-6}\), \(\displaystyle g_{-5}\), \(\displaystyle g_{-4}\), \(\displaystyle g_{-3}\), \(\displaystyle g_{-2}\)
Cartan symmetric matrix: \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0 & 0 & 0\\
-1 & 2 & -1 & 0 & 0 & 0\\
0 & -1 & 2 & -1 & 0 & 0\\
0 & 0 & -1 & 2 & -1 & 0\\
0 & 0 & 0 & -1 & 2 & -1\\
0 & 0 & 0 & 0 & -1 & 2\\
\end{pmatrix}\)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): \(\displaystyle \begin{pmatrix}2 & -1 & 0 & 0 & 0 & 0\\
-1 & 2 & -1 & 0 & 0 & 0\\
0 & -1 & 2 & -1 & 0 & 0\\
0 & 0 & -1 & 2 & -1 & 0\\
0 & 0 & 0 & -1 & 2 & -1\\
0 & 0 & 0 & 0 & -1 & 2\\
\end{pmatrix}\)
Decomposition of ambient Lie algebra: \(\displaystyle V_{\omega_{1}+\omega_{6}}\)
Made total 697 arithmetic operations while solving the Serre relations polynomial system.
Of the 14 h element conjugacy classes 10 had their Weyl group orbits computed and buffered. The h elements and their computed orbit sizes follow. | h element | orbit size |
| (6, 10, 12, 12, 10, 6) | size not computed |
| (5, 8, 9, 9, 8, 5) | size not computed |
| (4, 6, 7, 7, 6, 4) | 5040 |
| (4, 6, 6, 6, 6, 4) | size not computed |
| (3, 5, 6, 6, 5, 3) | 5040 |
| (3, 4, 5, 5, 4, 3) | 1260 |
| (3, 4, 4, 4, 4, 3) | 840 |
| (2, 4, 4, 4, 4, 2) | size not computed |
| (2, 3, 4, 4, 3, 2) | 1260 |
| (2, 3, 3, 3, 3, 2) | 840 |
| (2, 2, 2, 2, 2, 2) | 42 |
| (1, 2, 3, 3, 2, 1) | 140 |
| (1, 2, 2, 2, 2, 1) | 210 |
| (1, 1, 1, 1, 1, 1) | 42 |
Number of sl(2) subalgebras: 14.
Let h be in the Cartan subalgebra. Let \(\alpha_1, ..., \alpha_n\) be simple roots with respect to h. Then the h-characteristic, as defined by E. Dynkin, is the n-tuple \((\alpha_1(h), ..., \alpha_n(h))\).
The actual realization of h. The coordinates of h are given with respect to the fixed original simple basis. Note that the h-characteristic is computed using a possibly different simple basis, more precisely, with respect to any h-positive simple basis.
A regular semisimple subalgebra might contain an sl(2) such that the sl(2) has no centralizer in the regular semisimple subalgebra, but the regular semisimple subalgebra might fail to be minimal containing. This happens when another minimal containing regular semisimple subalgebra of equal rank nests as a root subalgebra in the containing SA. See Dynkin, Semisimple Lie subalgebras of semisimple Lie algebras, remark before Theorem 10.4.
The \(sl(2)\) submodules of the ambient Lie algebra are parametrized by their highest weight with respect to the Cartan element h of \(sl(2)\). In turn, the highest weight is a positive integer multiple of the fundamental highest weight \(\psi\). \(V_{l\psi}\) is \(l + 1\)-dimensional.
| Type + realization link | h-Characteristic | Realization of h | sl(2)-module decomposition of the ambient Lie algebra
\(\psi=\) the fundamental \(sl(2)\)-weight. | Centralizer dimension | Type of semisimple part of centralizer, if known | The square of the length of the weight dual to h. | Dynkin index | Minimal containing regular semisimple SAs | Containing regular semisimple SAs in which the sl(2) has no centralizer |
| \(A^{56}_1\) | (2, 2, 2, 2, 2, 2) | (6, 10, 12, 12, 10, 6) | \(V_{12\psi}+V_{10\psi}+V_{8\psi}+V_{6\psi}+V_{4\psi}+V_{2\psi}\)
| 0 | \(\displaystyle 0\) | 112 | 56 | A^{1}_6; | A^{1}_6; |
| \(A^{35}_1\) | (2, 2, 1, 1, 2, 2) | (5, 8, 9, 9, 8, 5) | \(V_{10\psi}+V_{8\psi}+V_{6\psi}+2V_{5\psi}+V_{4\psi}+V_{2\psi}+V_{0}\)
| 1 | \(\displaystyle 0\) | 70 | 35 | A^{1}_5; | A^{1}_5; |
| \(A^{21}_1\) | (2, 1, 1, 1, 1, 2) | (4, 6, 7, 7, 6, 4) | \(V_{8\psi}+V_{6\psi}+2V_{5\psi}+V_{4\psi}+2V_{3\psi}+2V_{2\psi}+V_{0}\)
| 1 | \(\displaystyle 0\) | 42 | 21 | A^{1}_4+A^{1}_1; | A^{1}_4+A^{1}_1; |
| \(A^{20}_1\) | (2, 2, 0, 0, 2, 2) | (4, 6, 6, 6, 6, 4) | \(V_{8\psi}+V_{6\psi}+5V_{4\psi}+V_{2\psi}+4V_{0}\)
| 4 | \(\displaystyle A^{1}_1\) | 40 | 20 | A^{1}_4; | A^{1}_4; |
| \(A^{14}_1\) | (1, 1, 1, 1, 1, 1) | (3, 5, 6, 6, 5, 3) | \(V_{6\psi}+2V_{5\psi}+2V_{4\psi}+2V_{3\psi}+2V_{2\psi}+2V_{\psi}+V_{0}\)
| 1 | \(\displaystyle 0\) | 28 | 14 | A^{1}_3+A^{1}_2; | A^{1}_3+A^{1}_2; |
| \(A^{11}_1\) | (2, 0, 1, 1, 0, 2) | (3, 4, 5, 5, 4, 3) | \(V_{6\psi}+3V_{4\psi}+2V_{3\psi}+4V_{2\psi}+2V_{\psi}+2V_{0}\)
| 2 | \(\displaystyle 0\) | 22 | 11 | A^{1}_3+A^{1}_1; | A^{1}_3+A^{1}_1; |
| \(A^{10}_1\) | (2, 1, 0, 0, 1, 2) | (3, 4, 4, 4, 4, 3) | \(V_{6\psi}+V_{4\psi}+6V_{3\psi}+V_{2\psi}+9V_{0}\)
| 9 | \(\displaystyle A^{1}_2\) | 20 | 10 | A^{1}_3; | A^{1}_3; |
| \(A^{8}_1\) | (0, 2, 0, 0, 2, 0) | (2, 4, 4, 4, 4, 2) | \(4V_{4\psi}+8V_{2\psi}+4V_{0}\)
| 4 | not computed | 16 | 8 | 2A^{1}_2; | 2A^{1}_2; |
| \(A^{6}_1\) | (1, 0, 1, 1, 0, 1) | (2, 3, 4, 4, 3, 2) | \(V_{4\psi}+4V_{3\psi}+5V_{2\psi}+4V_{\psi}+4V_{0}\)
| 4 | not computed | 12 | 6 | A^{1}_2+2A^{1}_1; | A^{1}_2+2A^{1}_1; |
| \(A^{5}_1\) | (1, 1, 0, 0, 1, 1) | (2, 3, 3, 3, 3, 2) | \(V_{4\psi}+2V_{3\psi}+6V_{2\psi}+6V_{\psi}+5V_{0}\)
| 5 | \(\displaystyle A^{1}_1\) | 10 | 5 | A^{1}_2+A^{1}_1; | A^{1}_2+A^{1}_1; |
| \(A^{4}_1\) | (2, 0, 0, 0, 0, 2) | (2, 2, 2, 2, 2, 2) | \(V_{4\psi}+9V_{2\psi}+16V_{0}\)
| 16 | \(\displaystyle A^{1}_3\) | 8 | 4 | A^{1}_2; | A^{1}_2; |
| \(A^{3}_1\) | (0, 0, 1, 1, 0, 0) | (1, 2, 3, 3, 2, 1) | \(9V_{2\psi}+6V_{\psi}+9V_{0}\)
| 9 | not computed | 6 | 3 | 3A^{1}_1; | 3A^{1}_1; |
| \(A^{2}_1\) | (0, 1, 0, 0, 1, 0) | (1, 2, 2, 2, 2, 1) | \(4V_{2\psi}+12V_{\psi}+12V_{0}\)
| 12 | not computed | 4 | 2 | 2A^{1}_1; | 2A^{1}_1; |
| \(A^{1}_1\) | (1, 0, 0, 0, 0, 1) | (1, 1, 1, 1, 1, 1) | \(V_{2\psi}+10V_{\psi}+25V_{0}\)
| 25 | \(\displaystyle A^{1}_4\) | 2 | 1 | A^{1}_1; | A^{1}_1; |
Length longest root ambient algebra squared/4= 1/2
Given a root subsystem P, and a root subsubsystem P_0, in (10.2) of Semisimple subalgebras of semisimple Lie algebras, E. Dynkin defines a numerical constant e(P, P_0) (which we call Dynkin epsilon).
In Theorem 10.3, Dynkin proves that if an sl(2) is an S-subalgebra in the root subalgebra generated by P, such that it has characteristic 2 for all simple roots of P lying in P_0, then e(P, P_0)= 0. It turns out by direct computation that, in the current case of A^{1}_6, e(P,P_0)= 0 implies that an S-sl(2) subalgebra of the root subalgebra generated by P with characteristic with 2's in the simple roots of P_0 always exists. Note that Theorem 10.3 is stated in one direction only.
h-characteristic: (2, 2, 2, 2, 2, 2)
Length of the weight dual to h: 112
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_6
sl(2)-module decomposition of the ambient Lie algebra: \(V_{12\psi}+V_{10\psi}+V_{8\psi}+V_{6\psi}+V_{4\psi}+V_{2\psi}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 6h_{6}+10h_{5}+12h_{4}+12h_{3}+10h_{2}+6h_{1}\)
\(
e = 3/13g_{6}+10/17g_{5}+6/5g_{4}+12/5g_{3}+5g_{2}+6g_{1}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{7} -6~\\x_{2} x_{8} -10~\\x_{3} x_{9} -12~\\x_{4} x_{10} -12~\\x_{5} x_{11} -10~\\x_{6} x_{12} -6~\\\end{array}\)
h-characteristic: (2, 2, 1, 1, 2, 2)
Length of the weight dual to h: 70
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_5
sl(2)-module decomposition of the ambient Lie algebra: \(V_{10\psi}+V_{8\psi}+V_{6\psi}+2V_{5\psi}+V_{4\psi}+V_{2\psi}+V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 5h_{6}+8h_{5}+9h_{4}+9h_{3}+8h_{2}+5h_{1}\)
\(
e = 9/5g_{9}+5/17g_{6}+4/5g_{5}+4g_{2}+5g_{1}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{6} -5~\\x_{2} x_{7} -8~\\x_{3} x_{8} -9~\\x_{3} x_{8} -9~\\x_{4} x_{9} -8~\\x_{5} x_{10} -5~\\\end{array}\)
h-characteristic: (2, 1, 1, 1, 1, 2)
Length of the weight dual to h: 42
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_4+A^{1}_1
sl(2)-module decomposition of the ambient Lie algebra: \(V_{8\psi}+V_{6\psi}+2V_{5\psi}+V_{4\psi}+2V_{3\psi}+2V_{2\psi}+V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 4h_{6}+6h_{5}+7h_{4}+7h_{3}+6h_{2}+4h_{1}\)
\(
e = 6/5g_{10}+1/17g_{9}+3g_{8}+2/5g_{6}+4g_{1}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{6} -4~\\x_{2} x_{7} -6~\\x_{5} x_{10} +x_{2} x_{7} -7~\\x_{5} x_{10} +x_{3} x_{8} -7~\\x_{3} x_{8} -6~\\x_{4} x_{9} -4~\\\end{array}\)
h-characteristic: (2, 2, 0, 0, 2, 2)
Length of the weight dual to h: 40
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_4
sl(2)-module decomposition of the ambient Lie algebra: \(V_{8\psi}+V_{6\psi}+5V_{4\psi}+V_{2\psi}+4V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 4h_{6}+6h_{5}+6h_{4}+6h_{3}+6h_{2}+4h_{1}\)
\(
e = 3g_{13}+2/5g_{6}+6/5g_{5}+4g_{1}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{5} -4~\\x_{2} x_{6} -6~\\x_{2} x_{6} -6~\\x_{2} x_{6} -6~\\x_{3} x_{7} -6~\\x_{4} x_{8} -4~\\\end{array}\)
h-characteristic: (1, 1, 1, 1, 1, 1)
Length of the weight dual to h: 28
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_3+A^{1}_2
sl(2)-module decomposition of the ambient Lie algebra: \(V_{6\psi}+2V_{5\psi}+2V_{4\psi}+2V_{3\psi}+2V_{2\psi}+2V_{\psi}+V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 3h_{6}+5h_{5}+6h_{4}+6h_{3}+5h_{2}+3h_{1}\)
\(
e = 3/5g_{11}+2/17g_{10}+2g_{9}+1/5g_{8}+3g_{7}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{6} -3~\\x_{4} x_{9} +x_{1} x_{6} -5~\\x_{4} x_{9} +x_{2} x_{7} -6~\\x_{5} x_{10} +x_{2} x_{7} -6~\\x_{5} x_{10} +x_{3} x_{8} -5~\\x_{3} x_{8} -3~\\\end{array}\)
h-characteristic: (2, 0, 1, 1, 0, 2)
Length of the weight dual to h: 22
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_3+A^{1}_1
sl(2)-module decomposition of the ambient Lie algebra: \(V_{6\psi}+3V_{4\psi}+2V_{3\psi}+4V_{2\psi}+2V_{\psi}+2V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 3h_{6}+4h_{5}+5h_{4}+5h_{3}+4h_{2}+3h_{1}\)
\(
e = 2g_{14}+1/10g_{13}+3g_{7}+3/5g_{6}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{5} -3~\\x_{4} x_{8} +x_{1} x_{5} -4~\\x_{4} x_{8} +x_{2} x_{6} -5~\\x_{4} x_{8} +x_{2} x_{6} -5~\\x_{2} x_{6} -4~\\x_{3} x_{7} -3~\\\end{array}\)
h-characteristic: (2, 1, 0, 0, 1, 2)
Length of the weight dual to h: 20
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_3
sl(2)-module decomposition of the ambient Lie algebra: \(V_{6\psi}+V_{4\psi}+6V_{3\psi}+V_{2\psi}+9V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 3h_{6}+4h_{5}+4h_{4}+4h_{3}+4h_{2}+3h_{1}\)
\(
e = 2g_{17}+3/5g_{6}+3g_{1}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{4} -3~\\x_{2} x_{5} -4~\\x_{2} x_{5} -4~\\x_{2} x_{5} -4~\\x_{2} x_{5} -4~\\x_{3} x_{6} -3~\\\end{array}\)
h-characteristic: (0, 2, 0, 0, 2, 0)
Length of the weight dual to h: 16
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: 2A^{1}_2
sl(2)-module decomposition of the ambient Lie algebra: \(4V_{4\psi}+8V_{2\psi}+4V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 2h_{6}+4h_{5}+4h_{4}+4h_{3}+4h_{2}+2h_{1}\)
\(
e = 2g_{16}+g_{11}+1/5g_{10}+2/5g_{8}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{5} -2~\\x_{3} x_{7} +x_{1} x_{5} -4~\\x_{3} x_{7} +x_{1} x_{5} -4~\\x_{4} x_{8} +x_{1} x_{5} -4~\\x_{4} x_{8} +x_{2} x_{6} -4~\\x_{2} x_{6} -2~\\\end{array}\)
h-characteristic: (1, 0, 1, 1, 0, 1)
Length of the weight dual to h: 12
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_2+2A^{1}_1
sl(2)-module decomposition of the ambient Lie algebra: \(V_{4\psi}+4V_{3\psi}+5V_{2\psi}+4V_{\psi}+4V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 2h_{6}+3h_{5}+4h_{4}+4h_{3}+3h_{2}+2h_{1}\)
\(
e = 1/5g_{17}+g_{15}+2g_{12}+1/10g_{9}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{5} -2~\\x_{3} x_{7} +x_{1} x_{5} -3~\\x_{4} x_{8} +x_{3} x_{7} +x_{1} x_{5} -4~\\x_{4} x_{8} +x_{3} x_{7} +x_{2} x_{6} -4~\\x_{3} x_{7} +x_{2} x_{6} -3~\\x_{2} x_{6} -2~\\\end{array}\)
h-characteristic: (1, 1, 0, 0, 1, 1)
Length of the weight dual to h: 10
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_2+A^{1}_1
sl(2)-module decomposition of the ambient Lie algebra: \(V_{4\psi}+2V_{3\psi}+6V_{2\psi}+6V_{\psi}+5V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 2h_{6}+3h_{5}+3h_{4}+3h_{3}+3h_{2}+2h_{1}\)
\(
e = 1/5g_{17}+2g_{16}+g_{11}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{4} -2~\\x_{3} x_{6} +x_{1} x_{4} -3~\\x_{3} x_{6} +x_{1} x_{4} -3~\\x_{3} x_{6} +x_{1} x_{4} -3~\\x_{3} x_{6} +x_{2} x_{5} -3~\\x_{2} x_{5} -2~\\\end{array}\)
h-characteristic: (2, 0, 0, 0, 0, 2)
Length of the weight dual to h: 8
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_2
sl(2)-module decomposition of the ambient Lie algebra: \(V_{4\psi}+9V_{2\psi}+16V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 2h_{6}+2h_{5}+2h_{4}+2h_{3}+2h_{2}+2h_{1}\)
\(
e = 2g_{19}+g_{6}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{3} -2~\\x_{1} x_{3} -2~\\x_{1} x_{3} -2~\\x_{1} x_{3} -2~\\x_{1} x_{3} -2~\\x_{2} x_{4} -2~\\\end{array}\)
h-characteristic: (0, 0, 1, 1, 0, 0)
Length of the weight dual to h: 6
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: 3A^{1}_1
sl(2)-module decomposition of the ambient Lie algebra: \(9V_{2\psi}+6V_{\psi}+9V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = h_{6}+2h_{5}+3h_{4}+3h_{3}+2h_{2}+h_{1}\)
\(
e = g_{21}+1/2g_{17}+1/5g_{9}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{4} -1~\\x_{2} x_{5} +x_{1} x_{4} -2~\\x_{3} x_{6} +x_{2} x_{5} +x_{1} x_{4} -3~\\x_{3} x_{6} +x_{2} x_{5} +x_{1} x_{4} -3~\\x_{2} x_{5} +x_{1} x_{4} -2~\\x_{1} x_{4} -1~\\\end{array}\)
h-characteristic: (0, 1, 0, 0, 1, 0)
Length of the weight dual to h: 4
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: 2A^{1}_1
sl(2)-module decomposition of the ambient Lie algebra: \(4V_{2\psi}+12V_{\psi}+12V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = h_{6}+2h_{5}+2h_{4}+2h_{3}+2h_{2}+h_{1}\)
\(
e = g_{21}+1/2g_{17}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{3} -1~\\x_{2} x_{4} +x_{1} x_{3} -2~\\x_{2} x_{4} +x_{1} x_{3} -2~\\x_{2} x_{4} +x_{1} x_{3} -2~\\x_{2} x_{4} +x_{1} x_{3} -2~\\x_{1} x_{3} -1~\\\end{array}\)
h-characteristic: (1, 0, 0, 0, 0, 1)
Length of the weight dual to h: 2
Simple basis ambient algebra w.r.t defining h: 6 vectors:
(1, 0, 0, 0, 0, 0), (0, 1, 0, 0, 0, 0), (0, 0, 1, 0, 0, 0), (0, 0, 0, 1, 0, 0), (0, 0, 0, 0, 1, 0), (0, 0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_1
sl(2)-module decomposition of the ambient Lie algebra: \(V_{2\psi}+10V_{\psi}+25V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = h_{6}+h_{5}+h_{4}+h_{3}+h_{2}+h_{1}\)
\(
e = g_{21}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{2} -1~\\x_{1} x_{2} -1~\\x_{1} x_{2} -1~\\x_{1} x_{2} -1~\\x_{1} x_{2} -1~\\x_{1} x_{2} -1~\\\end{array}\)
Calculator input for loading subalgebras directly without recomputation. Subalgebras found so far: 61
Orbit sizes: A^56_1: n/a; A^35_1: n/a; A^21_1: 5040; A^20_1: n/a; A^14_1: 5040; A^11_1: 1260; A^10_1: 840; A^8_1: n/a; A^6_1: 1260; A^5_1: 840; A^4_1: 42; A^3_1: 140; A^2_1: 210; A^1_1: 42;
Current subalgebra chain length: 0
SetOutputFile("subalgebras_A^{1}_6");
LoadSemisimpleSubalgebras {}(AmbientDynkinType=A^{1}{}\left(6\right);CurrentChain=\left(\right);NumExploredTypes=\left(\right);NumExploredHs=\left(\right);Subalgebras=\left((DynkinType=A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right)\right)), (DynkinType=A^{2}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 2 & 2 & 2 & 2 & 1 \end{pmatrix};generators=\left(g{}\left(-17\right)+g{}\left(-21\right), g{}\left(17\right)+g{}\left(21\right)\right)), (DynkinType=A^{3}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 2 & 3 & 3 & 2 & 1 \end{pmatrix};generators=\left(g{}\left(-9\right)+g{}\left(-21\right)+g{}\left(-17\right), g{}\left(9\right)+g{}\left(21\right)+g{}\left(17\right)\right)), (DynkinType=A^{4}{}\left(1\right);ElementsCartan=\begin{pmatrix}2 & 2 & 2 & 2 & 2 & 2 \end{pmatrix};generators=\left(g{}\left(-16\right)+g{}\left(-11\right), 2 g{}\left(16\right)+2 g{}\left(11\right)\right)), (DynkinType=A^{5}{}\left(1\right);ElementsCartan=\begin{pmatrix}2 & 3 & 3 & 3 & 3 & 2 \end{pmatrix};generators=\left(g{}\left(-17\right)+g{}\left(-11\right)+g{}\left(-16\right), g{}\left(17\right)+2 g{}\left(11\right)+2 g{}\left(16\right)\right)), (DynkinType=A^{6}{}\left(1\right);ElementsCartan=\begin{pmatrix}2 & 3 & 4 & 4 & 3 & 2 \end{pmatrix};generators=\left(g{}\left(-9\right)+g{}\left(-12\right)+g{}\left(-17\right)+g{}\left(-15\right), g{}\left(9\right)+2 g{}\left(12\right)+g{}\left(17\right)+2 g{}\left(15\right)\right)), (DynkinType=A^{8}{}\left(1\right);ElementsCartan=\begin{pmatrix}2 & 4 & 4 & 4 & 4 & 2 \end{pmatrix};generators=\left(g{}\left(-15\right)+g{}\left(-5\right)+g{}\left(-13\right)+g{}\left(-12\right), 2 g{}\left(15\right)+2 g{}\left(5\right)+2 g{}\left(13\right)+2 g{}\left(12\right)\right)), (DynkinType=A^{10}{}\left(1\right);ElementsCartan=\begin{pmatrix}3 & 4 & 4 & 4 & 4 & 3 \end{pmatrix};generators=\left(g{}\left(-1\right)+g{}\left(-6\right)+g{}\left(-17\right), 3 g{}\left(1\right)+3 g{}\left(6\right)+4 g{}\left(17\right)\right)), (DynkinType=A^{11}{}\left(1\right);ElementsCartan=\begin{pmatrix}3 & 4 & 5 & 5 & 4 & 3 \end{pmatrix};generators=\left(g{}\left(-1\right)+g{}\left(-6\right)+g{}\left(-17\right)+g{}\left(-9\right), 3 g{}\left(1\right)+3 g{}\left(6\right)+4 g{}\left(17\right)+g{}\left(9\right)\right)), (DynkinType=A^{14}{}\left(1\right);ElementsCartan=\begin{pmatrix}3 & 5 & 6 & 6 & 5 & 3 \end{pmatrix};generators=\left(g{}\left(-7\right)+g{}\left(-8\right)+g{}\left(-9\right)+g{}\left(-10\right)+g{}\left(-11\right), 3 g{}\left(7\right)+2 g{}\left(8\right)+4 g{}\left(9\right)+2 g{}\left(10\right)+3 g{}\left(11\right)\right)), (DynkinType=A^{20}{}\left(1\right);ElementsCartan=\begin{pmatrix}4 & 6 & 6 & 6 & 6 & 4 \end{pmatrix};generators=\left(g{}\left(-1\right)+g{}\left(-13\right)+g{}\left(-5\right)+g{}\left(-6\right), 4 g{}\left(1\right)+6 g{}\left(13\right)+6 g{}\left(5\right)+4 g{}\left(6\right)\right)), (DynkinType=A^{21}{}\left(1\right);ElementsCartan=\begin{pmatrix}4 & 6 & 7 & 7 & 6 & 4 \end{pmatrix};generators=\left(g{}\left(-1\right)+g{}\left(-6\right)+g{}\left(-8\right)+g{}\left(-9\right)+g{}\left(-10\right), 4 g{}\left(1\right)+4 g{}\left(6\right)+6 g{}\left(8\right)+g{}\left(9\right)+6 g{}\left(10\right)\right)), (DynkinType=A^{35}{}\left(1\right);ElementsCartan=\begin{pmatrix}5 & 8 & 9 & 9 & 8 & 5 \end{pmatrix};generators=\left(g{}\left(-1\right)+g{}\left(-2\right)+g{}\left(-5\right)+g{}\left(-6\right)+g{}\left(-9\right), 5 g{}\left(1\right)+8 g{}\left(2\right)+8 g{}\left(5\right)+5 g{}\left(6\right)+9 g{}\left(9\right)\right)), (DynkinType=A^{56}{}\left(1\right);ElementsCartan=\begin{pmatrix}6 & 10 & 12 & 12 & 10 & 6 \end{pmatrix};generators=\left(g{}\left(-1\right)+g{}\left(-2\right)+g{}\left(-3\right)+g{}\left(-4\right)+g{}\left(-5\right)+g{}\left(-6\right), 6 g{}\left(1\right)+10 g{}\left(2\right)+12 g{}\left(3\right)+12 g{}\left(4\right)+10 g{}\left(5\right)+6 g{}\left(6\right)\right)), (DynkinType=2 A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 1 & 1 & 1 & 1 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(-17\right), g{}\left(17\right)\right)), (DynkinType=A^{2}{}\left(1\right)+A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 2 & 2 & 2 & 2 & 1\\
0 & 0 & 1 & 1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-17\right)+g{}\left(-21\right), g{}\left(17\right)+g{}\left(21\right), g{}\left(-9\right), g{}\left(9\right)\right)), (DynkinType=2 A^{2}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 2 & 2 & 2 & 2 & 1\\
1 & 0 & 0 & 0 & 0 & 1 \end{pmatrix};generators=\left(g{}\left(-19\right)+g{}\left(-20\right), g{}\left(19\right)+g{}\left(20\right), g{}\left(-1\right)+g{}\left(-6\right), g{}\left(1\right)+g{}\left(6\right)\right)), (DynkinType=A^{3}{}\left(1\right)+A^{2}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 2 & 3 & 3 & 2 & 1\\
1 & 1 & 0 & 0 & 1 & 1 \end{pmatrix};generators=\left(g{}\left(-16\right)+g{}\left(-17\right)+g{}\left(-18\right), g{}\left(16\right)+g{}\left(17\right)+g{}\left(18\right), g{}\left(-7\right)+g{}\left(-11\right), g{}\left(7\right)+g{}\left(11\right)\right)), (DynkinType=A^{4}{}\left(1\right)+A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}2 & 2 & 2 & 2 & 2 & 2\\
0 & 1 & 1 & 1 & 1 & 0 \end{pmatrix};generators=\left(g{}\left(-16\right)+g{}\left(-11\right), 2 g{}\left(16\right)+2 g{}\left(11\right), g{}\left(-17\right), g{}\left(17\right)\right)), (DynkinType=A^{4}{}\left(1\right)+A^{2}{}\left(1\right);ElementsCartan=\begin{pmatrix}2 & 2 & 2 & 2 & 2 & 2\\
0 & 1 & 2 & 2 & 1 & 0 \end{pmatrix};generators=\left(g{}\left(-12\right)+g{}\left(-15\right), 2 g{}\left(12\right)+2 g{}\left(15\right), g{}\left(-9\right)+g{}\left(-17\right), g{}\left(9\right)+g{}\left(17\right)\right)), (DynkinType=2 A^{4}{}\left(1\right);ElementsCartan=\begin{pmatrix}2 & 2 & 2 & 2 & 2 & 2\\
0 & 2 & 2 & 2 & 2 & 0 \end{pmatrix};generators=\left(g{}\left(-16\right)+g{}\left(-11\right), 2 g{}\left(16\right)+2 g{}\left(11\right), g{}\left(-2\right)+g{}\left(-14\right), 2 g{}\left(2\right)+2 g{}\left(14\right)\right)), (DynkinType=A^{5}{}\left(1\right)+A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}2 & 3 & 3 & 3 & 3 & 2\\
0 & 0 & 1 & 1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-12\right)+g{}\left(-15\right)+g{}\left(-17\right), 2 g{}\left(12\right)+2 g{}\left(15\right)+g{}\left(17\right), g{}\left(-9\right), g{}\left(9\right)\right)), (DynkinType=A^{6}{}\left(1\right)+A^{2}{}\left(1\right);ElementsCartan=\begin{pmatrix}2 & 3 & 4 & 4 & 3 & 2\\
0 & 1 & 0 & 0 & 1 & 0 \end{pmatrix};generators=\left(g{}\left(-12\right)+g{}\left(-13\right)+g{}\left(-14\right)+g{}\left(-15\right), 2 g{}\left(12\right)+g{}\left(13\right)+g{}\left(14\right)+2 g{}\left(15\right), g{}\left(-2\right)+g{}\left(-5\right), g{}\left(2\right)+g{}\left(5\right)\right)), (DynkinType=A^{8}{}\left(1\right)+A^{3}{}\left(1\right);ElementsCartan=\begin{pmatrix}2 & 4 & 4 & 4 & 4 & 2\\
1 & 0 & 1 & 1 & 0 & 1 \end{pmatrix};generators=\left(g{}\left(-7\right)+g{}\left(-11\right)+g{}\left(-13\right)+g{}\left(-14\right), 2 g{}\left(7\right)+2 g{}\left(11\right)+2 g{}\left(13\right)+2 g{}\left(14\right), g{}\left(-1\right)+g{}\left(-6\right)+g{}\left(-9\right), g{}\left(1\right)+g{}\left(6\right)+g{}\left(9\right)\right)), (DynkinType=A^{10}{}\left(1\right)+A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}3 & 4 & 4 & 4 & 4 & 3\\
0 & 0 & 1 & 1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-1\right)+g{}\left(-6\right)+g{}\left(-17\right), 3 g{}\left(1\right)+3 g{}\left(6\right)+4 g{}\left(17\right), g{}\left(-9\right), g{}\left(9\right)\right)), (DynkinType=A^{10}{}\left(1\right)+A^{4}{}\left(1\right);ElementsCartan=\begin{pmatrix}3 & 4 & 4 & 4 & 4 & 3\\
0 & 0 & 2 & 2 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-1\right)+g{}\left(-6\right)+g{}\left(-17\right), 3 g{}\left(1\right)+3 g{}\left(6\right)+4 g{}\left(17\right), g{}\left(-3\right)+g{}\left(-4\right), 2 g{}\left(3\right)+2 g{}\left(4\right)\right)), (DynkinType=A^{20}{}\left(1\right)+A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}4 & 6 & 6 & 6 & 6 & 4\\
0 & 0 & 1 & 1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-1\right)+g{}\left(-6\right)+g{}\left(-8\right)+g{}\left(-10\right), 4 g{}\left(1\right)+4 g{}\left(6\right)+6 g{}\left(8\right)+6 g{}\left(10\right), g{}\left(-9\right), g{}\left(9\right)\right)), (DynkinType=A^{1}{}\left(2\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right)\right)), (DynkinType=B^{1}{}\left(2\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
-1 & 0 & 0 & 0 & 0 & -1 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right)+g{}\left(1\right), g{}\left(-6\right)+g{}\left(-1\right)\right)), (DynkinType=A^{2}{}\left(2\right);ElementsCartan=\begin{pmatrix}1 & 2 & 2 & 2 & 2 & 1\\
0 & 0 & 0 & -1 & -2 & -1 \end{pmatrix};generators=\left(g{}\left(-17\right)+g{}\left(-21\right), g{}\left(17\right)+g{}\left(21\right), g{}\left(15\right)+g{}\left(5\right), g{}\left(-15\right)+g{}\left(-5\right)\right)), (DynkinType=A^{2}{}\left(2\right);ElementsCartan=\begin{pmatrix}1 & 2 & 2 & 2 & 2 & 1\\
0 & -1 & 0 & 0 & -1 & 0 \end{pmatrix};generators=\left(g{}\left(-19\right)+g{}\left(-20\right), g{}\left(19\right)+g{}\left(20\right), g{}\left(5\right)+g{}\left(2\right), g{}\left(-5\right)+g{}\left(-2\right)\right)), (DynkinType=B^{2}{}\left(2\right);ElementsCartan=\begin{pmatrix}1 & 2 & 2 & 2 & 2 & 1\\
0 & -2 & -2 & -2 & -2 & 0 \end{pmatrix};generators=\left(g{}\left(-19\right)+g{}\left(-20\right), g{}\left(19\right)+g{}\left(20\right), g{}\left(5\right)+g{}\left(13\right), 2 g{}\left(-5\right)+2 g{}\left(-13\right)\right)), (DynkinType=G^{2}{}\left(2\right);ElementsCartan=\begin{pmatrix}2 & 3 & 4 & 4 & 3 & 2\\
-1 & -1 & -2 & -2 & -1 & -1 \end{pmatrix};generators=\left(g{}\left(-12\right)+g{}\left(-13\right)+g{}\left(-14\right)+g{}\left(-15\right), 2 g{}\left(12\right)+g{}\left(13\right)+g{}\left(14\right)+2 g{}\left(15\right), g{}\left(18\right)+g{}\left(16\right), g{}\left(-18\right)+g{}\left(-16\right)\right)), (DynkinType=A^{5}{}\left(2\right);ElementsCartan=\begin{pmatrix}2 & 3 & 3 & 3 & 3 & 2\\
0 & -1 & 0 & 0 & -2 & -2 \end{pmatrix};generators=\left(g{}\left(-7\right)+g{}\left(-17\right)+g{}\left(-18\right), 2 g{}\left(7\right)+g{}\left(17\right)+2 g{}\left(18\right), g{}\left(6\right)+g{}\left(5\right)+\frac{1}{2} g{}\left(2\right), 2 g{}\left(-6\right)+2 g{}\left(-5\right)+2 g{}\left(-2\right)\right)), (DynkinType=3 A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 1 & 1 & 1 & 1 & 0\\
0 & 0 & 1 & 1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(-17\right), g{}\left(17\right), g{}\left(-9\right), g{}\left(9\right)\right)), (DynkinType=2 A^{2}{}\left(1\right)+A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 2 & 2 & 2 & 2 & 1\\
1 & 0 & 0 & 0 & 0 & 1\\
0 & 0 & 1 & 1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-19\right)+g{}\left(-20\right), g{}\left(19\right)+g{}\left(20\right), g{}\left(-1\right)+g{}\left(-6\right), g{}\left(1\right)+g{}\left(6\right), g{}\left(-9\right), g{}\left(9\right)\right)), (DynkinType=A^{4}{}\left(1\right)+2 A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}2 & 2 & 2 & 2 & 2 & 2\\
0 & 1 & 1 & 1 & 1 & 0\\
0 & 0 & 1 & 1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-12\right)+g{}\left(-15\right), 2 g{}\left(12\right)+2 g{}\left(15\right), g{}\left(-17\right), g{}\left(17\right), g{}\left(-9\right), g{}\left(9\right)\right)), (DynkinType=A^{4}{}\left(1\right)+2 A^{2}{}\left(1\right);ElementsCartan=\begin{pmatrix}2 & 2 & 2 & 2 & 2 & 2\\
0 & 1 & 2 & 2 & 1 & 0\\
0 & 1 & 0 & 0 & 1 & 0 \end{pmatrix};generators=\left(g{}\left(-12\right)+g{}\left(-15\right), 2 g{}\left(12\right)+2 g{}\left(15\right), g{}\left(-13\right)+g{}\left(-14\right), g{}\left(13\right)+g{}\left(14\right), g{}\left(-2\right)+g{}\left(-5\right), g{}\left(2\right)+g{}\left(5\right)\right)), (DynkinType=A^{1}{}\left(2\right)+A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 1 & 1 & 1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(-13\right), g{}\left(13\right)\right)), (DynkinType=A^{1}{}\left(2\right)+A^{2}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 1 & 2 & 1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(-3\right)+g{}\left(-13\right), g{}\left(3\right)+g{}\left(13\right)\right)), (DynkinType=A^{1}{}\left(2\right)+A^{4}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 2 & 2 & 2 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(-2\right)+g{}\left(-9\right), 2 g{}\left(2\right)+2 g{}\left(9\right)\right)), (DynkinType=A^{1}{}\left(2\right)+A^{10}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 3 & 4 & 3 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(-2\right)+g{}\left(-3\right)+g{}\left(-4\right), 3 g{}\left(2\right)+4 g{}\left(3\right)+3 g{}\left(4\right)\right)), (DynkinType=B^{1}{}\left(2\right)+A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
-1 & 0 & 0 & 0 & 0 & -1\\
0 & 0 & 1 & 1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right)+g{}\left(1\right), g{}\left(-6\right)+g{}\left(-1\right), g{}\left(-9\right), g{}\left(9\right)\right)), (DynkinType=B^{1}{}\left(2\right)+A^{4}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
-1 & 0 & 0 & 0 & 0 & -1\\
0 & 0 & 2 & 2 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right)+g{}\left(1\right), g{}\left(-6\right)+g{}\left(-1\right), g{}\left(-3\right)+g{}\left(-4\right), 2 g{}\left(3\right)+2 g{}\left(4\right)\right)), (DynkinType=A^{2}{}\left(2\right)+A^{3}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 2 & 2 & 2 & 2 & 1\\
0 & 0 & 0 & -1 & -2 & -1\\
1 & 0 & 0 & 1 & 0 & 1 \end{pmatrix};generators=\left(g{}\left(-19\right)+g{}\left(-20\right), g{}\left(19\right)+g{}\left(20\right), g{}\left(11\right)+g{}\left(10\right), g{}\left(-11\right)+g{}\left(-10\right), g{}\left(-1\right)+g{}\left(-4\right)+g{}\left(-6\right), g{}\left(1\right)+g{}\left(4\right)+g{}\left(6\right)\right)), (DynkinType=B^{2}{}\left(2\right)+A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 2 & 2 & 2 & 2 & 1\\
0 & -2 & -2 & -2 & -2 & 0\\
0 & 0 & 1 & 1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-19\right)+g{}\left(-20\right), g{}\left(19\right)+g{}\left(20\right), g{}\left(10\right)+g{}\left(8\right), 2 g{}\left(-10\right)+2 g{}\left(-8\right), g{}\left(-9\right), g{}\left(9\right)\right)), (DynkinType=A^{1}{}\left(3\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 0 & 0 & 0 & -1 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(5\right), g{}\left(-5\right)\right)), (DynkinType=C^{1}{}\left(3\right);ElementsCartan=\begin{pmatrix}1 & 2 & 2 & 2 & 2 & 1\\
0 & -1 & 0 & 0 & -1 & 0\\
0 & 0 & -1 & -1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-19\right)+g{}\left(-20\right), g{}\left(19\right)+g{}\left(20\right), g{}\left(5\right)+g{}\left(2\right), g{}\left(-5\right)+g{}\left(-2\right), g{}\left(9\right), g{}\left(-9\right)\right)), (DynkinType=A^{2}{}\left(3\right);ElementsCartan=\begin{pmatrix}1 & 2 & 2 & 2 & 2 & 1\\
0 & -1 & 0 & 0 & -1 & 0\\
-1 & 0 & 0 & 0 & 0 & -1 \end{pmatrix};generators=\left(g{}\left(-19\right)+g{}\left(-20\right), g{}\left(19\right)+g{}\left(20\right), g{}\left(5\right)+g{}\left(2\right), g{}\left(-5\right)+g{}\left(-2\right), g{}\left(6\right)+g{}\left(1\right), g{}\left(-6\right)+g{}\left(-1\right)\right)), (DynkinType=B^{2}{}\left(3\right);ElementsCartan=\begin{pmatrix}1 & 2 & 2 & 2 & 2 & 1\\
0 & -1 & 0 & 0 & -1 & 0\\
0 & 0 & -2 & -2 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-19\right)+g{}\left(-20\right), g{}\left(19\right)+g{}\left(20\right), g{}\left(5\right)+g{}\left(2\right), g{}\left(-5\right)+g{}\left(-2\right), g{}\left(4\right)+g{}\left(3\right), 2 g{}\left(-4\right)+2 g{}\left(-3\right)\right)), (DynkinType=A^{1}{}\left(2\right)+2 A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 1 & 1 & 1 & 0 & 0\\
0 & 0 & 1 & 0 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(-13\right), g{}\left(13\right), g{}\left(-3\right), g{}\left(3\right)\right)), (DynkinType=A^{1}{}\left(2\right)+2 A^{2}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 1 & 2 & 1 & 0 & 0\\
0 & 1 & 0 & 1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(-8\right)+g{}\left(-9\right), g{}\left(8\right)+g{}\left(9\right), g{}\left(-2\right)+g{}\left(-4\right), g{}\left(2\right)+g{}\left(4\right)\right)), (DynkinType=2 A^{1}{}\left(2\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 1 & 1 & 1 & 0 & 0\\
0 & 0 & 0 & -1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(-13\right), g{}\left(13\right), g{}\left(4\right), g{}\left(-4\right)\right)), (DynkinType=B^{1}{}\left(2\right)+A^{1}{}\left(2\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
-1 & 0 & 0 & 0 & 0 & -1\\
0 & 0 & 1 & 1 & 0 & 0\\
0 & 0 & 0 & -1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right)+g{}\left(1\right), g{}\left(-6\right)+g{}\left(-1\right), g{}\left(-9\right), g{}\left(9\right), g{}\left(4\right), g{}\left(-4\right)\right)), (DynkinType=A^{1}{}\left(3\right)+A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 0 & 0 & 0 & -1 & 0\\
0 & 1 & 1 & 0 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(5\right), g{}\left(-5\right), g{}\left(-8\right), g{}\left(8\right)\right)), (DynkinType=A^{1}{}\left(3\right)+A^{4}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 0 & 0 & 0 & -1 & 0\\
0 & 2 & 2 & 0 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(5\right), g{}\left(-5\right), g{}\left(-2\right)+g{}\left(-3\right), 2 g{}\left(2\right)+2 g{}\left(3\right)\right)), (DynkinType=A^{1}{}\left(4\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 0 & 0 & 0 & -1 & 0\\
0 & 0 & 0 & -1 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(5\right), g{}\left(-5\right), g{}\left(4\right), g{}\left(-4\right)\right)), (DynkinType=A^{1}{}\left(3\right)+A^{1}{}\left(2\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 0 & 0 & 0 & -1 & 0\\
0 & 1 & 1 & 0 & 0 & 0\\
0 & 0 & -1 & 0 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(5\right), g{}\left(-5\right), g{}\left(-8\right), g{}\left(8\right), g{}\left(3\right), g{}\left(-3\right)\right)), (DynkinType=A^{1}{}\left(4\right)+A^{1}{}\left(1\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 0 & 0 & 0 & -1 & 0\\
0 & 0 & 0 & -1 & 0 & 0\\
0 & 1 & 0 & 0 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(5\right), g{}\left(-5\right), g{}\left(4\right), g{}\left(-4\right), g{}\left(-2\right), g{}\left(2\right)\right)), (DynkinType=A^{1}{}\left(5\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 0 & 0 & 0 & -1 & 0\\
0 & 0 & 0 & -1 & 0 & 0\\
0 & 0 & -1 & 0 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(5\right), g{}\left(-5\right), g{}\left(4\right), g{}\left(-4\right), g{}\left(3\right), g{}\left(-3\right)\right)), (DynkinType=A^{1}{}\left(6\right);ElementsCartan=\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 1\\
0 & 0 & 0 & 0 & 0 & -1\\
0 & 0 & 0 & 0 & -1 & 0\\
0 & 0 & 0 & -1 & 0 & 0\\
0 & 0 & -1 & 0 & 0 & 0\\
0 & -1 & 0 & 0 & 0 & 0 \end{pmatrix};generators=\left(g{}\left(-21\right), g{}\left(21\right), g{}\left(6\right), g{}\left(-6\right), g{}\left(5\right), g{}\left(-5\right), g{}\left(4\right), g{}\left(-4\right), g{}\left(3\right), g{}\left(-3\right), g{}\left(2\right), g{}\left(-2\right)\right))\right))